erg/doc/JA/compiler/parsing.md

Erg言語の構文解析

空白の扱い

Ergの文法において特異なのは、space-sensitive(空白による区別がある)である点である。 これは、()の省略による表現力の低下を補うためである。同様の文法は同じく()を省略可能なNimでも見られる。

f +1 == f(+1)
f + 1 == `+`(f, 1)
f (1,) == f((1,))
f(1,) == f(1)
(f () -> ...) == f(() -> ...)
(f() -> ...) == (f() -> ...)

左辺値、右辺値

Ergにおいて左辺値とは=の左側といった単純なものではない。 実際、(非常に紛らわしいが)=の左側にも右辺値は存在するし、=の右側にも左辺値が存在する。 右辺値の中に左辺値が存在することさえある。

# iは左辺値、List(Int)と[1, 2, 3]は右辺値
i: List(Int) = [1, 2, 3]
# `[1, 2, 3].iter().map i -> i + 1`は右辺値だが、->の左側のiは左辺値
a = [1, 2, 3].iter().map i -> i + 1
# {x = 1; y = 2}は右辺値だが、x, yは左辺値
r = {x = 1; y = 2}

左辺値、右辺値の正確な定義は、「評価可能ならば右辺値、そうでないならば左辺値」である。 例としてi = 1; iというコードを考える。2つ目のiは評価可能であるため右辺値だが、1つ目のiは左辺値となる。