Maestumプログラミング、囲碁、読書の話題この広告は、90日以上更新していないブログに表示しています。MLよろしくOCamlのシンタックスをいじった言語の仕様を考えている。github.com今のところ新規性はまったくなく、OCamlと100%互換性がある言語仕様を目指している。(ただし今のところオブジェクト関連の機能についてはまったくノータッチ・・・)semantics的にはOCamlは本当に個人的な理想に近いと感じる。変えているのはガワだけ。外見的な部分はかなりPythonからとっている。(各方面から嫌がられそうだけど・・・)その最たる部分は定幅インデントによるブロックわけでスコープが決まって、変数束縛には=、関数定義には:を使う(letはなし)returnなしでスコープの一番下の式の値がスコープ全体の値になるのはどちらかというとLisp(かRuby)に似ている。関数型言語をブロックで表現しようとすると結構自然とこうなる気がする。行末の:+インデントによるブロック以外では、主にPEP20の思想に強く影響を受けている。あとHaskellから$とwhereをもらってきた。