暫くCoqを弄ってみようかと。Coqは、Calculus of (Co)Inductive Constructionsという謎の体系を背景にしているらしい。実装はOcaml(多分)。CoqをSchemeで書けるようになるくらいまで頑張ろう今日のまとめ ・IDEは全く使い方が分からないので、コマンドライン…

SchemeでPackrat Parserを書いている人が。S式使いは、構文？とりあえず、S式で書いとけば？って考えるせいか、いいパーサジェネレータがない。まあ、一旦文字列をばらして、リストにしてしまえば、リスト操作を使えるので、パーサーを書くのは大して難しく…

やっぱり、一方の式にのみパターン変数が含まれる場合の単一化をパターンマッチと呼んでいるケースが多いらしい。Andrew Wrightのパターンマッチの場合、パターン式中に、同じパターン変数が2回以上使えないという制限がある。別に、大抵の場合、それで困っ…