最初からレジスタマシン的に一から作り直してみてます。 で、データ構造の実験段階のものは出来た感じです。 val,var,配列、構造体が出来たと。あと、OCamlの let a = 1 in let a = a + 1 in :が書き換え出来ない変数なんだけど、名前を更新して行けて便利な…