5章読んだ。 正直もうきつい。 評価戦略苦手…なんとなく正規順序が括弧の外からで適用順序が中から、としか認識してない…値がラムダ抽象値なのが混乱の元っぽい。 完全ベータ簡約は任意の順序でベータ簡約。簡約基は簡約(できる)基なのね。ベータ簡約って…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。