サクサク読めて、アプリ限定の機能も多数！
hengsu のブックマーク 2008/06/03 23:15
このブックマークにはスターがありません。 最初のスターをつけてみよう！
wiki.fdiary.net2006/07/14
大抵，Yコンビネータには型推論はできない． でも例えばStandard MLの再帰関数を定義する機能を使えば楽々定義できる． fun Y f x = f (Y f) x fun fact_ fact x = (* この fact_ を "seed" と呼ぶ *) if x = 0 t...
5 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／
このブックマークにはスターがありません。
最初のスターをつけてみよう！
flatline's Wiki for memo - Y in Practical Programs
大抵，Yコンビネータには型推論はできない． でも例えばStandard MLの再帰関数を定義する機能を使えば楽々定義できる． fun Y f x = f (Y f) x fun fact_ fact x = (* この fact_ を "seed" と呼ぶ *) if x = 0 t...
5 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／