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

3imp ヒープベース compile/VM での begin 形式

Dybvig Three Implementation Models for Scheme (以下 3imp) では、 begin 形式と lambda 形式のボディを、 入れ子の lambda 形式へ変換してコンパイルするとあります。 それでも間違いではないのですが、 一つ注意点があって、 入れ子になっている lambda …

3imp ヒープ・ベース・コンパイラ/VM と CEK マシンの関係

Dybvig Three Implementation Models for Scheme (以下 3imp) のヒープ・ベース VM は、 VM だけでは CEK マシンから逸脱する動作もできてしまいますが、 コンパイラで CEK マシンに等価になるようにコード生成して制限をかけています。複合手続きのアプリケ…