Lisp Scheme Part41 (858レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
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-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.209s