Lisp Scheme Part41 (858ﾚｽ)
上下前次1-新
689(1): デフォルトの名無しさん [sage] 2024/04/16(火) 08:49:18.26 ID:Fr3sHPgG(1) AAS
>>686
686(1): デフォルトの名無しさん [] 2024/04/15(月) 17:51:51.96 ID:lxkYY0z4(1/2) AAS
集合論もゲーデルもコンビネーター理論も入門レベルは理解したい
と思い続けて10年w
Lisp本ではないが論理学の問題集みたいな一般向け書To Mock a Mockingbirdの後半がみっちりコンビネータ論理に充てられててオススメ
手計算させて解法と答えも章末に載ってて取っ付きやすい入門

そのままdefunしてアプリケーティブに動かしたり、簡約パーサも数個の基底コンビネータの書き換え規則をcondで振るだけの自明な10行
かなり遊べるおもちゃ
上下前次1-新書関写板覧索設栞歴
あと 169 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s