ポスト

基本的に、#条件分岐#原始再帰法 の実装用なんだよな… ja.wikipedia.org/wiki/%E5%8E%9F… たぶん、#lambda のβ-簡約で書けると思うんだが…?

メニューを開く

家鴨のジョナサン@JonathanTheDuck

みんなのコメント

メニューを開く

あー、#自然数#チャーチ数 表示(か、それを #多進法#変換 した #表示)するのに #cdr はいらんのだから、たぶん #lambda#cdr のいずれか一方はいらないな(実際、さっきの #呟き 書いているときにも迷ったし。)。

家鴨のジョナサン@JonathanTheDuck

Yahoo!リアルタイム検索アプリ