2021-02-22

EvalML3

ちょっと量が多かったので、

関数とその評価・適用

再帰関数

というように分けてやっている

ちょっと書き換えると動的スコープなインタプリタが作れて面白い。最初にLISPを作った人達がどんなミスをしたのかがわかる

done

https://gyazo.com/5e2fe9f43b7fc4eb8a719be0cccb0e5d

画面に収まらない超巨大な証明

「ちょっと人間が読むのがつらいなー」とか言ってたらそもそも無理な大きさの問題が出てきた

「チマチマ目で読んでんじゃねーぞ」と言わんばかりのムーブ、教育的だな(???)

code:problem49

|- let s = fun f -> fun g -> fun x -> f x (g x) in

let k = fun x -> fun y -> x in

s k k 7

evalto 7

SKK=I

NamelessML3

ごはんたべたら