面白い

Scheme の実装は真正に末尾再帰的であることが要求されている。 だって。末尾呼び出しの最適化を実装していないとSchemeではないらしい。実装できるかなー。 Unlambdaを実装したときにcall/ccは作ったんだけど、あんな感じでいいのかな。継続を毎回渡して、…

疑問に思ったことはたいがいR5RSを読んだら書いてある。 PythonでR5RSに相当するものはPython ライブラリリファレンスとPython リファレンスマニュアルだ。 HaskellでR5RSに相当するものは何だろう。The Haskell 98 Language Reportでいいのかな？

思ったより近かった。

>>> ConsList([]) () >>> ConsList([1]) (1 . ()) >>> ConsList([1, 2]) (1 . (2 . ())) >>> ConsList([1, 2, ".", 3]) (1 . (2 . 3)) >>> ConsList([1, [10, 20], ".", 3]) (1 . ((10 . (20 . ())) . 3)) ここまでできた。 (1 . (2 . ()))を(1 2)って表示す…

日々わからないことが増えていく 操作的意味論 - Wikipedia CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ - 檜山正幸のキマイラ飼育記 CPS（継続渡し方式）変換で裏返る理由 - 檜山正幸のキマイラ飼育記 反変関手

関数プログラミングのアプローチ (6) - lethevert is a programmer http://d.hatena.ne.jp/lethevert/20071027/p1咀嚼中。 __next__のような2つのアンダーバーで囲まれたメソッドはPython処理系が特殊な意味のメソッドを実装するためのものなので勝手に使う…

関数プログラミングのアプローチ (3) - lethevert is a programmer http://d.hatena.ne.jp/lethevert/20071014/p2咀嚼中…。スコープが切り替わるんだ、ってところがピンと来にくいので関数呼び出しで置き換えてみた。 class RandState(object): def __init__…