Essen3 のバックアップ(No.3)

プログラミング言語 Essen #3

scanfは代入したい変数が引数側にある。Kはこれがどうにも許せない。
- scanf("%d %d", &a, &b);
このaやbは関数の返値として記述したい。その方がKにとっては直感的だ。
- (a,b)=scanf("%d %d");
Essenでは、この形式を目指したけど、それはうまくいかなかった。でも以下の書き方ならいけそうである。そしてこれは十分に許容範囲だ。
- &(a,b)=scanf("%d %d");
C言語などの場合、scanfがどんな型を返すのか定義時に固定しなければいけない。しかし上記みたいなことをしたいのならそれはしたくない。
- stdarg.hによって引数のほうはかなり自由に書けるけれど、返値については自由にする方法がない。
そこでEssenは関数がどんな型を返すのかを固定しないことにした。変数にも型はない。値に型がある。
しかしこの仕様はコンパイラを作るうえでは高速化の障害になるだろう。それはわかっている。でもまずはコンパイラのことは気にしないでやってみることにした。

変数を交換する関数swapがあったとする。C言語なら swap(&a, &b); と書いて呼び出すことになるだろう。C++なら参照型が使えるから swap(a, b); と書くことができるだろう。これはすばらしい。毎回&を付けるのは煩雑になるだけだから。
- もちろん&を付けることによって、この関数呼び出しによってaやbが書き換わりうることを表現できているともいえるのだけど。
しかしやはり引数のほうが書き換わるという仕様はKには気持ち悪い。値の変更は代入によって引き起こされるべきである。そんなわけでEssenではこうなった。
- &(a, b) = (b, a)
これはわかりやすいし簡潔だ。同様のことはRubyでもできる。

現在のEssenの仕様では、文末のセミコロンは省略できる。そのため、
- a = 3 b = 4 c = 5
みたいな書き方ができる。これは気持ち悪いと感じるかもしれない。
まず、セミコロンの省略は「可能な選択肢」なのであって「義務」ではない。だから気持ち悪ければ省略しなければいいだけである。
なぜこんな仕様を採用したのか。・・・初期のEssenではif文やfor文や関数宣言の末尾にセミコロンが必須だった。なぜならそれは「文末」だから。でもCやC++ではそんなものは書かない。だからできれば書かなくてもいいようにしたかった。
加えて、行の末尾のセミコロンが省略できたら、ちょっと便利かもしれないなと思うことは何度かあった。現在の仕様ならこれも受け入れられるので、面白いなと思った。

当初Essenでは、未定義の変数への代入を発見したら、無条件で変数を生成して代入する仕様だった。
しかしそれはやめた。なぜなら、ローカル変数域に作ったらいいのか、それともグローバル変数域に作ったらいいのかわからなかったからである。
さらに、あるコード片があったとして、そのスコープの外側で宣言された変数があるかないかで変数がローカルになるかならないかが変わってしまうというのは、コード片の「部品化」を妨げる仕様であって非常に良くない。バグの温床になる。
ということで、ローカル変数は初出時に#をつけさせることにした。これで問題は起きないはずである。

コメント	お名前	NameLink