2017-03-28から1日間の記事一覧

3imp スタックベース compile/VM の begin 形式とクロージャ

2017 年 12 月 5 日追記 この稿の説明には勘違いが含まれています。 式の並びを入れ子 lambda に変換しなくても、 それぞれの式から求めた変数の集合の和集合を求めることで、 正しい集合を求めることができ、 必要な box 化をおこなうことができます。Dybvi…