kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

2010-01-13から1日間の記事一覧

Nemerleでコンパイル時に迷路を解いてみた

故*1Nemerleのマクロは非常に強力で、コンパイル時でも実行時に行えるあらゆる事(計算はもちろんのこと、入出力、ネットワークIO、GUIなど)を行えるので、それを利用してコンパイル時に例の迷路を解くマクロを書いてみた。このマクロは、入力として迷路を表…

非遅延純粋関数型言語IMO(Io MOnad)を公開します

2年半くらい前に、言語開発合宿という、二泊三日でオレ言語の仕様とその処理系を作るという楽しいイベントがありまして、その時に、「HaskellのIOモナドがよくわからんから、実際にIOモナドを持ったミニ関数型言語を作って理解しよう」と思って作ったもので…