ただ（型なし）ラムダ計算を用いて形式的に記述してゆくだけの遊びです。 言語はSchemeを選択しました。（途中までPythonを使っていたのは秘密） (define true (lambda (x y) x)) (define false (lambda (x y) y)) (define if_ (lambda (p x y) (p x y))) ;;…

すごく久しぶりにSchemeを触っています。相変わらずとても心地良いのよい言語です。 Schemeにはパターンマッチライブラリとかないのかな〜と思って探していると、 「Andrew Wright match」なるものがあることを知りました。matchに待ったパターンマッチ！ そ…

久しぶりにSchemeを触った。 Gaucheが使いたかったので emacs + gauche + quack.el で環境を作ってみた。 やっぱりemacsは嫌いだなぁ。 さて、Schemeでの部分適用はこんな感じのようで。 cut SRFI-26にcutというマクロがあるらしい。 gosh> ((cut * 10 <>) 5…

以前から注目していたものの、まだ仕様に目を通したことが無かったので大変参考になりました。 http://www.kmonos.net/wlog/84.html#_0401080401

うわーおもしろそー！と思ったけど、レゴの値段に萎えた。。 http://www.xslisp.com/index-j.html http://jp.franz.com/base/seminar/2004-06-10/yuasa.files/frame.htm 湯淺さんかっこいい

正直あまり期待してなかったIronSchemeですが，久しぶりに見たら結構ちゃんと進んでいるみたいです。 どうやらR6RSを実装するっぽい。 おおー。 ロードマップ http://www.codeplex.com/IronScheme/Wiki/View.aspx?title=Roadmap&referringTitle=Home 開発者…