raccを試す

プログラミング言語を作るにyaccという構文解析ツールの使い方についての簡単な解説が載っていました。使い方の雰囲気的は理解できたので、興味をもって検索していたらRubyにも似たようなraccというのがあるのを知り試してみました。
raccそのものは、Windows用のActiveScriptRubyに同梱されてました、サンプルはこちらから入手。calc.yの解説はこちらを参考にさせてもらいました。
とりあえず解説先とはちがうassignを定義しないで＝を演算子で処理する方法で変数を使用できるようにしてみました。＝を優先順位最低で右結合の演算子に定義、変数に値が代入されていない(@var[key]=nil）の場合はエラーを表示するように。
なんとなく上手くいってる模様です。

? a
Undefined Variable : a

? a=b=2
=> 2

? a
=> 2

? b
=> 2

? c=a+b*3-1
=> 7

# $Id: calc.y,v 1.4 2005/11/20 13:29:32 aamine Exp $
#
# Very simple calculater.

class Calcp
  prechigh
    nonassoc UMINUS
    left '*' '/'
    left '+' '-'
    right '='
  preclow
rule
  target: exp
        | /* none */ { result = 0 }

  exp: exp '+' exp { result += val[2] }
     | exp '-' exp { result -= val[2] }
     | exp '*' exp { result *= val[2] }
     | exp '/' exp { result /= val[2] }
     | '(' exp ')' { result = val[1] }
     | '-' NUMBER  =UMINUS { result = -val[1] }
     | NUMBER
     | IDENT '=' exp { result = set_var(val[0], val[2]) }
     | IDENT         { result = ref_var(val[0]) }
end

---- header
# $Id: calc.y,v 1.4 2005/11/20 13:29:32 aamine Exp $
---- inner


  def initialize
    @var = Hash.new
  end

  def parse(str)
    @q = []
    until str.empty?
      case str
      when /\A\s+/
      when /\A[A-Za-z]\w*/
        @q.push [:IDENT, $&]
      when /\A\d+/
        @q.push [:NUMBER, $&.to_i]
      when /\A.|\n/o
        s = $&
        @q.push [s, s]
      end
      str = $'
    end
    @q.push [false, '$end']
#p @q
    do_parse
  end

  def next_token
    @q.shift
  end

  def set_var(key, val)
    @var[key] = val
  end

  def ref_var(key)
     if @var[key].nil?
        raise MyError, "Undefined Variable : #{key}"
     else
        @var[key]
     end
  end

---- footer

class MyError < StandardError
end


parser = Calcp.new
puts
puts 'type "Q" to quit.'
puts
while true
  puts
  print '? '
  str = gets.chop!
  break if /q/i =~ str
  begin
    puts "=> #{parser.parse(str)}"
  rescue ParseError
    puts $!
  rescue => e
    puts e.message
  end
end