こないだツンドクしてたガウディ本をぱらぱらみてたら、MOZARTって、Lispと同等の力を持っていそうだ。 カーネル言語とその拡張という形でいろいろなモデルを実現しているので、自由にDSLがかけそう。ただ、記述したDSLはMOZARTではないかもしれないので、そ…

新規コーナーのサイトスケッチにHAppSを使ってみようと画策中。arc's challengeにはHAppSの投稿がなかったけれど、どうなんだろ。 arcより短くかけたら面白いな。理解すればするほどHaskellってPrologと似ている。 ユニフィケーションとパターンマッチか。 P…