最近の変更点

scheme interpreter ocaml

勉強を再開してからの主な変更点

sicp 4.1.7のanalyze評価器
valtype/envがeval評価器とanalyze評価器それぞれに存在したのを共通化 *
primitiveを、新しいvaltype/envに対応させて、個別に存在したのを共通化　
S式コメント (srfi 62)
delay/force primitiveな実装
dotted list notation対応
その帰結として、可変長引数対応
自動テスト
do syntax
内部定義をletrecの派生とする

* 修正のためバリアントのtype定義に型変数を入れたところコンパイルできなくなった。

 This expression has type
         'a proctype = 'a Valtype.env -> 'a Valtype.valtype
       but an expression was expected of type 'a
       The type variable 'a occurs inside
       'a Valtype.env -> 'a Valtype.valtype

検索してみると、 -rectypesオプションがあるらしく、回避できた。
なぜ回避できたかは追及していないが..