2020-05-19から1日間の記事一覧

シンボル集合のリストによる安直実装

毎度ながら、 内容の薄い懐古趣味を一席。 K. Dybvig Three Implementation Models for Scheme, 1987 (以下、 3imp) では、 手続きをフラット・クロージャへコンパイルするのに、 自由変数と束縛変数の集合演算を用います。 その集合演算には、 リストによる…