scalaだと、こんな感じになるんじゃないかっと。 class Absyn { type Pos = Int abstract case class Absyn(pos:Pos) abstract case class Var(override val pos:Pos) extends Absyn(pos) abstract case class Exp(override val pos:Pos) extends Absyn(pos)…

完全じゃないですけど、軽く目を通してみました。 オブジェクト指向で、visitorパターン使って作るという感じでした。 自分が目指しているのは関数型言語で命令型言語を作ることなので、タイガーブックがあっているのだなと 思いました。mincamlは関数型言語…