型システム入門で,de Bruijn indexの話で少しつまづいたのでメモ.型なしラムダ計算を前提とします. de Bruijn index de Bruijn index(ど・ぶらん・いんでっくす)とは,変数名として文字列ではなく,番号を振ってやることで表現を簡潔にしたものであり,…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。