JavaをS式にしていじって戻せる。 S式とJava混在で余計わけわからない。 Algol文法のマクロ使える言語があればいいじゃないか！■Dylan 自分で作れそうにない。 ■Nemerle やっぱり自分で作れそうにない。 ■Sumi 俺俺言語 実装がごちゃごちゃ。 ■Scalaで書いて…

問題は括弧だらけ

エラーが異常。そもそもの目的に沿ってないのだから仕方ない。 ということで、どうあるべきなんだろう？？？ まず、現状の人気のある処理系から離れて考えてみるというか、 自分で考えてきたことを書く。

とりあえず、今現在の型レベルの計算ってなんでやってるのかなぁっと。現状の人気のある処理系でコンパイル時計算を行える。 元々の目的から離れたつかい方なので 基本的に一から作り出す面白さがある。 また、現在の処理系で動くので実益が得られる。 仕事…

なんか、非常に面白い話なので言ってみたかったのですけど、ものすごい人気だったようなので、 ちまちまと考えてみたことを書きます。 結論を先に書くと、TemplateHaskellの型の部分は推論できるところは書かないと短くかけて嬉しいんじゃないかと思います。…