モナドなしで一意名生成 - www.kotha.netの裏のアイディアを検証するための例題として、λ式をη簡約するプログラムを書いてみる。構文をパース→処理→PrettyPrint、という流れを最低限要求する問題としてη簡約が手頃だと思った。構文木を表現するデータとして…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。