goh@goh% ruby two.rb
2
goh@goh% ruby calc.rb
2
6
3
2
100
goh@goh% ruby calc0.rb
100
goh@goh% ruby calc2.rb
goh@goh%
goh@goh% ruby calc2.rb
100
goh@goh% ruby calc3.rb
2
100
goh@goh% ruby calc_ext1.rb
101
goh@goh% ruby calc_ext2.rb
5
goh@goh% ruby calc_ext3.rb
1
1
goh@goh% ruby calc_ext4.rb
1
2
goh@goh% ruby calc_ext5.rb
1
2
goh@goh% ruby calc_ext6.rb
1
2
5
goh@goh% ruby calc4.rb
10
55
10
goh@goh% ruby calc5.rb
10
"はずれ！"
goh@goh% ruby calc5_ext1.rb
10
goh@goh% ruby calc5_ext1.rb
55
"あたりです！"
"おめでとうございます！"
goh@goh% ruby calc5_ext2.rb
10
"はずれ！"
"それはちょっと小さすぎるよ！"
"また遊んでね！"
goh@goh% ruby calc5_ext2.rb
55
"あたりです！"
"おめでとうございます！"
"また遊んでね！"
goh@goh% ruby calc6_ext1.rb
50
"はずれ！"
51
"はずれ！"
55
"あたり！"
goh@goh% ruby calc6_ext2.rb
500500
2.6.1 ループの間違い探し iの計算とanswerの計算の順序が間違っている 以下が計算されてしまう 0 + 2 + 3 + … + 1000 + 1001
goh@goh% ruby calc7.rb
501500
2.6.2 偶数だけ足し算する
goh@goh% ruby calc8.rb
250500
2.6.3 FizzBuzz
goh@goh% ruby fizzbuzz2.rb
1
2
"Fizz"
4
"Buzz"
"Fizz"
7
8
"Fizz"
"Buzz"
11
"Fizz"
13
14
"FizzBuzz"
16
17
"Fizz"
19
"Buzz"
"Fizz"
22
23
"Fizz"
"Buzz"
26
"Fizz"
28
29
"FizzBuzz"
31
32
"Fizz"
34
"Buzz"
"Fizz"
37
38
"Fizz"
"Buzz"
41
"Fizz"
43
44
"FizzBuzz"
46
47
"Fizz"
49
"Buzz"
"Fizz"
52
53
"Fizz"
"Buzz"
56
"Fizz"
58
59
"FizzBuzz"
61
62
"Fizz"
64
"Buzz"
"Fizz"
67
68
"Fizz"
"Buzz"
71
"Fizz"
73
74
"FizzBuzz"
76
77
"Fizz"
79
"Buzz"
"Fizz"
82
83
"Fizz"
"Buzz"
86
"Fizz"
88
89
"FizzBuzz"
91
92
"Fizz"
94
"Buzz"
"Fizz"
97
98
"Fizz"
"Buzz"
Rubyインタプリタを作る Rubyインタプリタが扱うのは「Rubyで書かれたプログラム」
「プログラミング言語で書かれたプログラム」のような複雑なものを扱うのに使い勝手が良い形: 木 ＜ 形: データ構造
この章で扱うこと
- 木: 配列
- 木をRubyで扱う方法: 関数
配列: 値を束ねたもの
goh@goh% ruby try-pair.rb
[10, 20]
goh@goh% ruby try-pair_ext1.rb
10
20
goh@goh% ruby array_ext1.rb
10
20
30
[10]
10
[]
値: それ以上計算が進まない式
goh@goh% ruby array_ext2.rb
10
"じゅう"
10
[20, 30]
[20, 30]
20
20
木: 複数のものに親子関係を与えたもの
節(せつ): 子どもを持つ 葉: 子どもを持たない 根: 親を持たない
部分木: 全体の木からある節とその子どもたちを取り出した木 葉が1つでも木 節: 複数の部分木をまとめたもの
- 葉: 名前を要素に持つ配列 e.g. leaf_a = ["葉A"]
- 節: 名前、左の部分木、右の部分木を要素に持つ e.g. node2 = ["節2", leaf_a, leaf_b]
goh@goh% ruby sub_tree.rb
"節1"
["節2", ["葉A"], ["葉B"]]
["節3", ["葉C"], ["葉D"]]
"節2"
["葉A"]
["葉B"]
"葉A"
nil
nil
goh@goh% ruby tree-names.rb
"節1"
"節2"
"葉A"
"葉B"
"節3"
"葉C"
"葉D"
関数: プログラムの断片を使い回しできるようにしたもの
「preorder(node1)」を日本で表現すると「node1にpreorderを適用する」
再帰: 関数定義の中で自分自身を用いること
プログラムは木で表される => インタプリタにとって木は重要
「ファイルやフォルダ」「ゲーム木」「データベース」「経路検索」など木の概念は至るところで使われている
goh@goh% ruby 361_various_tree.rb
"節1"
"節2"
"葉A"
"節3"
"葉B"
"葉C"
"葉D"
goh@goh% ruby 362_print_only_leaves.rb
"葉A"
"葉B"
"葉C"
"葉D"
goh@goh% ruby 363_postorder.rb
"葉A"
"葉B"
"節2"
"葉C"
"葉D"
"節3"
"節1"
電卓: 四則演算だけからなるプログラミング言語のインタプリタ
計算の木: 部分木の組合せで複雑な計算式を表現
構文解析/パース: 文字列を木に変換すること 構文木: 構文解析/パースして得られた木
抽象化: 何かを行う上で不要な情報を削除すること 抽象構文木: 抽象化された木
インタプリタの動作
- プログラムを読み込む
- 読み込んだプログラムを実行する
インタプリタの構成
- 計算式の文字列を読み込む
- 計算式の文字列を構文解析して計算の木にする
- 計算の木を実行(計算)する
- 計算結果を出力する
構文解析には minruby_parse を使う
goh@goh% bundle exec ruby 430_parse_sample.rb
["+", ["lit", 1], ["*", ["lit", 2], ["lit", 4]]]
goh@goh% be ruby 430_parse_sample2.rb
"Use p"
["*", ["*", ["/", ["+", ["lit", 1], ["lit", 2]], ["lit", 3]], ["lit", 4]], ["+", ["+", ["/", ["lit", 56], ["lit", 7]], ["lit", 8]], ["lit", 9]]]
"Use pp"
["*",
["*", ["/", ["+", ["lit", 1], ["lit", 2]], ["lit", 3]], ["lit", 4]],
["+", ["+", ["/", ["lit", 56], ["lit", 7]], ["lit", 8]], ["lit", 9]]]
引数: 関数が受け取る値 返り値: 関数が返す値
goh@goh% be ruby 440_parameter_and_return_value.rb
"Addition!"
42
goh@goh% be ruby 450_sum.rb
10
case文
case直後の式を評価- 1の結果が
when直後の値と一致したら、whenの後の命令を実行 - 1の結果がどの
when直後の値と一致しないなら、elseの後の命令を実行
goh@goh% be ruby 460_interp.rb
(1 + 2) / 3 * 4 * (56 / 7 + 8 + 9)
100
剰余(%)、累乗(**)を追加する
goh@goh% be ruby 481_interp.rb
8 % 3
2
goh@goh% be ruby 481_interp.rb
2 ** 4
16
< <= == != >= > を追加する
goh@goh% be ruby 482_interp.rb
1 + 1 == 2
true
goh@goh% be ruby 482_interp.rb
1 + 1 == 3
false
goh@goh% be ruby 482_interp.rb
1 + 1 != 2
false
goh@goh% be ruby 482_interp.rb
1 + 1 != 3
true
goh@goh% be ruby 482_interp.rb
1 + 1 < 2
false
goh@goh% be ruby 482_interp.rb
1 + 1 < 3
true
goh@goh% be ruby 482_interp.rb
1 + 1 <= 1
false
goh@goh% be ruby 482_interp.rb
1 + 1 <= 2
true
goh@goh% be ruby 482_interp.rb
1 + 1 >= 2
true
goh@goh% be ruby 482_interp.rb
1 + 1 >= 3
false
goh@goh% be ruby 482_interp.rb
1 + 1 > 2
false
goh@goh% be ruby 482_interp.rb
1 + 1 > 1
true
goh@goh%be ruby 483_max.rb
1 + 2 * 3
3
goh@goh%be ruby 483_max.rb
1 + 4 + 3
4
goh@goh%be ruby 483_max.rb
10 + 10 + 10
10
goh@goh% be ruby 510_interp.rb
1 + 1
2
goh@goh% be ruby 510_interp.rb
(1 + 2) / 3 * 4 * (56 / 7 + 8 + 9)
100
minruby_load() 指定されたファイルを読み込んで文字列として返す
四則演算言語の関数として、 p を実装する
この段階では仮実装とする
goh@goh% be ruby 510_interp.rb test.rb
42
計算式: 単文 プログラム: 複文(式が複数ある)
goh@goh% be ruby 522_statements.rb
["stmts",
["+", ["lit", 1], ["lit", 2]],
["*", ["lit", 6], ["lit", 7]],
["+", ["lit", 40], ["lit", 2]]]
- ラベル(節が持つ名前)が
stmtsの場合を追加する stmtsが持つ部分木を順番に実行する- 最後に実行した部分木の結果を返す
goh@goh% be ruby 520_interp.rb 524_test.rb
3
42
42
変数代入
- ラベル: var_assign
- 左: 変数名
- 右: 代入する値
goh@goh% be ruby 531_variable.rb
["stmts",
["var_assign", "x", ["lit", 1]],
["var_assign", "y", ["*", ["lit", 2], ["lit", 3]]]]
ハッシュ: 値と値の対応表
# 作成
2.5.1 pry> hsh = { "foo" => 1, "bar" => 2 }
=> {"foo"=>1, "bar"=>2}
2.5.1 pry> p(hsh)
{"foo"=>1, "bar"=>2}
=> {"foo"=>1, "bar"=>2}
# 参照
2.5.1 pry> p(hsh["foo"])
1
=> 1
# 対応を追加
2.5.1 pry> hsh["answer"] = 42
=> 42
2.5.1 pry> p(hsh["answer"])
42
=> 42
2.5.1 pry> p(hsh)
{"foo"=>1, "bar"=>2, "answer"=>42}
=> {"foo"=>1, "bar"=>2, "answer"=>42}
# 対応の値を更新
2.5.1 pry> hsh["foo"] = 100
=> 100
2.5.1 pry> p(hsh["foo"])
100
=> 100
2.5.1 pry> p(hsh)
{"foo"=>100, "bar"=>2, "answer"=>42}
=> {"foo"=>100, "bar"=>2, "answer"=>42}
環境: 変数名と値が対応したハッシュ
goh@goh% be ruby 540_reference_variable.rb
["stmts",
["var_assign", "x", ["lit", 1]],
["var_assign", "y", ["+", ["lit", 2], ["var_ref", "x"]]]]
goh@goh% be ruby 540_interp.rb 550_test.rb
3
Rubyは以下のように扱う
- false, nil: 偽
- 上記以外: 真
goh@goh% be ruby 560_interp.rb calc2.rb
100
プロファイラ: どういう種類の計算をどのくらい行っているか数えたりするツール プログラムを高速化するときに使う
goh@goh% be ruby 572_interp.rb 572_plus_count.rb
2
4
エラーが発生したら、 evaluate の最初に pp(tree) を入れて調べれば良いが、大量にメッセージが出力されてしまう
扱い方がわからない節に出会ったら報告させるようにする
goh@goh% be ruby 573_interp.rb 573_debug.rb
["**", ["lit", 2], ["lit", 3]]
Traceback (most recent call last):
4: from 573_interp.rb:42:in `<main>'
3: from 573_interp.rb:21:in `evaluate'
2: from 573_interp.rb:26:in `evaluate'
1: from 573_interp.rb:8:in `evaluate'
573_interp.rb:8:in `+': Array can't be coerced into Integer (TypeError)
if 文をparseしてみる
goh@goh% be ruby 610_if_statement.rb
["if",
["==", ["lit", 0], ["lit", 0]],
["func_call", "p", ["lit", 42]],
["func_call", "p", ["lit", 43]]]
interp.rb において、 if 文の実装は環境を参照したり、変更していない
すなわち、変数を参照していないことに注目
goh@goh% be ruby interp.rb 610_if_statement_sample.rb
42
インタプリタ: 言語Xで書かれたプログラムを実行する、言語Yで書かれたプログラム 言語X: ターゲット言語 言語Y: ホスト言語
インタプリタの本質: ターゲット言語の言語機能をホスト言語に丸投げすること
while 文をparseしてみる
goh@goh% be ruby 630_while_statement.rb
["stmts",
["var_assign", "i", ["lit", 0]],
["while",
["<", ["var_ref", "i"], ["lit", 10]],
["stmts",
["func_call", "p", ["var_ref", "i"]],
["var_assign", "i", ["+", ["var_ref", "i"], ["lit", 1]]]]]]
goh@goh% be ruby interp.rb 630_while_statement_sample.rb
0
1
2
3
4
5
6
7
8
9
case 文をparseしてみる
goh@goh% be ruby 640_case_statement.rb
["if",
["==", ["lit", 42], ["lit", 0]],
["func_call", "p", ["lit", 0]],
["if",
["==", ["lit", 42], ["lit", 1]],
["func_call", "p", ["lit", 1]],
["func_call", "p", ["lit", 2]]]]
goh@goh% be ruby interp.rb 640_case_statement_sample.rb
2
case 文は if 文を使って表現できるが、見やすく、書きやすいのでプログラマにとっては便利な機能
糖衣構文:
構文解析の段階で他の言語機能を使ったプログラムに変換して扱うもの
Rubyの case 文は単純な糖衣構文ではない
% ** をparseしてみる
goh@goh% be ruby 661_modulo_exponential.rb
["stmts", ["%", ["lit", 5], ["lit", 3]], ["**", ["lit", 2], ["lit", 4]]]
interp.rb を使って fizzbuzz.rb を実行する
goh@goh% be ruby interp.rb fizzbuzz.rb
1
2
"Fizz"
4
"Buzz"
"Fizz"
7
8
"Fizz"
"Buzz"
11
"Fizz"
13
14
"FizzBuzz"
16
17
"Fizz"
19
"Buzz"
"Fizz"
22
23
"Fizz"
"Buzz"
26
"Fizz"
28
29
"FizzBuzz"
31
32
"Fizz"
34
"Buzz"
"Fizz"
37
38
"Fizz"
"Buzz"
41
"Fizz"
43
44
"FizzBuzz"
46
47
"Fizz"
49
"Buzz"
"Fizz"
52
53
"Fizz"
"Buzz"
56
"Fizz"
58
59
"FizzBuzz"
61
62
"Fizz"
64
"Buzz"
"Fizz"
67
68
"Fizz"
"Buzz"
71
"Fizz"
73
74
"FizzBuzz"
76
77
"Fizz"
79
"Buzz"
"Fizz"
82
83
"Fizz"
"Buzz"
86
"Fizz"
88
89
"FizzBuzz"
91
92
"Fizz"
94
"Buzz"
"Fizz"
97
98
"Fizz"
"Buzz"
1から10までの階乗を計算した
goh@goh% be ruby 661_factorial.rb
3628800
goh@goh% pry
2.5.1 pry> 1 * 2 * 3 * 4 * 5 * 6 * 7 * 8 * 9 * 10
=> 3628800
100までの素数を順番に出力する
minruby_parse は else がない if 文に対応していないみたい…
goh@goh% be ruby interp.rb 661_prime_sample.rb
2
3
5
7
11
13
17
19
23
29
31
37
41
43
47
53
59
61
67
71
73
79
83
89
97
begin ... end while をparseしてみる
goh@goh% be ruby 662_begin_end_while.rb
["stmts",
["var_assign", "i", ["lit", 10]],
["while2",
[">", ["var_ref", "i"], ["lit", 0]],
["stmts",
["func_call", "p", ["var_ref", "i"]],
["var_assign", "i", ["-", ["var_ref", "i"], ["lit", 1]]]]]]
goh@goh% be ruby interp.rb 662_begin_end_while_sample.rb
10
9
8
7
6
5
4
3
2
1
Rubyで実行した場合
goh@goh% be ruby 663_case.rb
42
"others"
minrubyで実行した場合
goh@goh% be ruby interp.rb 663_case.rb
42
42
"others"
Rubyの場合、 case の条件を評価するのは1回
minrubyの場合、 when の数だけ条件を評価する
- ユーザ定義関数:
defendを使って自分で定義する関数 - 組み込み関数: インタプリタに最初から用意されている関数
変数同様、関数名と関数定義を対応付けたハッシュで管理する
- 関数の環境: genv
- 変数の環境: lenv
envからlenvに名前を変更
Rubyの p を呼び出す組み込み関数 p を組み込む
builtin: 組み込み
Rubyも変数と関数の環境が別れている 環境が別れているので、同じ名前の変数、関数が同居できる
goh@goh% be ruby 721_note.rb
9
p の呼び出しをparseしてみる
goh@goh% be ruby 730_p.rb
["func_call", "p", ["lit", 1]]
["func_call", "p", ["lit", 1], ["lit", 2]]
各引数(部分木)を評価する
Ruby: 引数の順番通り処理される C: 不定(引数の順番に依存した実装はNG)
言語仕様 != 実装 実装者が自由に決めた挙動の可能性があるので、実装から言語を学ぶのは危険
genv から定義を取得する
Rubyの関数は以下で呼び出せる
minruby_call(関数名の文字列, 引数が詰まった配列)
goh@goh% be ruby 733_p_sample.rb
42
1
2
3
goh@goh% be ruby interp.rb 733_p_sample.rb
42
1
2
3
MinRubyの組み込み関数として add(x, y) を追加する
goh@goh% be ruby interp.rb 751_add.rb
3
FizzBuzzを組み込み関数として追加する
goh@goh% be ruby interp.rb 751_fizzbuzz.rb
1
2
"Fizz"
4
"Buzz"
"Fizz"
7
8
"Fizz"
"Buzz"
11
"Fizz"
13
14
"FizzBuzz"
16
17
"Fizz"
19
"Buzz"
"Fizz"
22
23
"Fizz"
"Buzz"
26
"Fizz"
28
29
"FizzBuzz"
フィボナッチ数を返す関数を組み込み関数として追加する
goh@goh% be ruby interp.rb 751_fibonacci.rb
0
1
1
2
3
5
8
13
21
34
Rubyの組み込み関数 or MinRubyの組み込み関数 はどうやって判定しているのか？
仮引数: 関数の定義に出てくる引数 実引数: 関数を呼び出す際に指定する引数
インタプリタを実装する場合、仮引数と実引数の違いを意識すること
def 文をparseしてみる
goh@goh% be ruby 820_def_statement.rb
["func_def", "add", ["x", "y"], ["+", ["var_ref", "x"], ["var_ref", "y"]]]
関数呼び出しの抽象構文木
["func_call", 関数名の文字列, 引数1, 引数2, ...]
関数名の文字列を使って genv から関数の情報を取り出した結果は以下のとおり
-
組み込み関数
["builtin", 関数名の文字列] -
ユーザ定義関数
["user_defined", 仮引数の配列, 関数本体の構文木]
仮引数に実引数の値を格納し、関数本体の構文木を評価すれば、結果が得られる
goh@goh% be ruby interp.rb 830_program1.rb
2
Ruby: 変数は関数ごとに定義される MinRuby: プログラム全体で定義される
スコープ: 変数を参照できる範囲
goh@goh% be ruby 840_scope.rb
0
1
goh@goh% be ruby interp.rb 840_scope.rb
0
0
変数のスコープを分ける = 新しい環境を作って渡す
genv <= global environment lenv <= local environment
goh@goh% be ruby interp.rb 840_scope.rb
0
1
Rubyの変数のスコープを使って、MinRubyの変数のスコープを実現している
goh@goh% be ruby interp.rb 861_fibonacci.rb
0
1
1
2
3
5
8
13
21
34
goh@goh% be ruby interp.rb 862_mutual_recursion.rb
"even?(2):"
true
"even?(3)"
false
ブートストラップ: 全ての言語仕様をその言語で実装すること
構築子: データ構造を作るための記法
以下を実装する
- 配列を作る: 配列構築子
- 配列を使う
- 配列参照
- 配列代入
配列構築子をparseする
["ary_new", ["lit", 1], ["lit", 2], ["lit", 3], ["*", ["lit", 6], ["lit", 7]]]
Rubyの配列を使って、MinRubyの配列を実装する
配列参照をparseする
goh@goh% be ruby 912_reference_array.rb
["stmts",
["var_assign", "ary", ["ary_new", ["lit", 1]]],
["ary_ref", ["var_ref", "ary"], ["lit", 0]]]
Rubyの配列参照を使って、MinRubyの配列参照を実装する 配列参照の構文木の構造は、以下のとおり
["ary_ref", 配列を表す式, インデックスを表す式]
「配列を表す式」からRubyの配列を取得し、「インデックスを表す式」からインデックスを取得すれば、Rubyの配列を操作して値を取得できる
goh@goh% be ruby 912_reference_array_sample.rb
1
2
3
goh@goh% be ruby interp.rb 912_reference_array_sample.rb
1
2
3
配列代入をparseする
goh@goh% be ruby 913_assign_to_array.rb
["stmts",
["var_assign", "ary", ["ary_new", ["lit", 1]]],
["ary_assign", ["var_ref", "ary"], ["lit", 0], ["lit", 42]]]
Rubyの配列代入を使って、MinRubyの配列代入を実装する 配列代入の構文木の構造は、以下のとおり
["ary_assign", 配列を表す式, インデックスを表す式, 代入したい値を表す式]
配列参照と同じ方法で取得した情報を使って、Rubyの配列に代入する
goh@goh% be ruby 913_assign_to_array_sample.rb
42
2
3
goh@goh% be ruby interp.rb 913_assign_to_array_sample.rb
42
2
3
配列同様、以下を実装する
- ハッシュ構築子
- ハッシュ参照
- ハッシュ代入
ハッシュ構築子をparseする
goh@goh% be ruby 920_hash_constructor.rb
["hash_new",
["lit", 1],
["lit", 10],
["lit", 2],
["lit", 20],
["lit", 3],
["lit", 30]]
Rubyのハッシュを使って、MinRubyのハッシュを実装する
配列参照とハッシュ参照、配列代入とハッシュ代入は、それぞれ構文が同じ すなわち、同じ抽象構文木が作られる 幸い(というか意図的に？)、Rubyにおいても、それぞれ構文が同じなので、実装を追加する必要がない
"pull yourself up by your bootstaps":
- 一般: (他人の助けを借りずに)自力で成長する
昔は「不可能なこと」と言う意味だった - プログラミング言語: 言語Xの処理系を言語Xで書いて動かすこと
MinRubyで実行したMinRubyでFizzBuzzを実行する
goh@goh% be ruby interp.rb interp.rb fizzbuzz.rb
Traceback (most recent call last):
2: from interp.rb:156:in `<main>'
1: from interp.rb:57:in `evaluate'
interp.rb:41:in `evaluate': undefined method `[]' for nil:NilClass (NoMethodError)
L41にて mhd[0] を参照したが nil だった
mhd はL40にて genv[tree[1]] を実行して取得している
func_call の処理中なので tree[1] には関数名が格納されているはず
=>
関数名を指定して genv から関数の情報を取得しようとしたが、 genv["関数名"] が nil だった
genv["関数名"] が nil ということは、組み込み関数、またはユーザ関数が定義されていないことが推測される
MinRubyインタプリタが使っている組み込み関数は以下のとおり
- p
- require
- minruby_parse
- minruby_load
- minruby_call
Rubyの関数(実際はminruby gemの関数)に丸投げする
goh@goh% be ruby interp.rb interp.rb fizzbuzz.rb
1
2
"Fizz"
4
"Buzz"
"Fizz"
7
8
"Fizz"
"Buzz"
11
"Fizz"
13
14
"FizzBuzz"
16
17
"Fizz"
19
"Buzz"
"Fizz"
22
23
"Fizz"
"Buzz"
26
"Fizz"
28
29
"FizzBuzz"
31
32
"Fizz"
34
"Buzz"
"Fizz"
37
38
"Fizz"
"Buzz"
41
"Fizz"
43
44
"FizzBuzz"
46
47
"Fizz"
49
"Buzz"
"Fizz"
52
53
"Fizz"
"Buzz"
56
"Fizz"
58
59
"FizzBuzz"
61
62
"Fizz"
64
"Buzz"
"Fizz"
67
68
"Fizz"
"Buzz"
71
"Fizz"
73
74
"FizzBuzz"
76
77
"Fizz"
79
"Buzz"
"Fizz"
82
83
"Fizz"
"Buzz"
86
"Fizz"
88
89
"FizzBuzz"
91
92
"Fizz"
94
"Buzz"
"Fizz"
97
98
"Fizz"
"Buzz"
goh@goh% time bundle exec ruby interp.rb interp.rb fizzbuzz.rb
:
bundle exec ruby interp.rb interp.rb fizzbuzz.rb
0.72s user
0.42s system
65% cpu
1.719 total
goh@goh% time be ruby interp.rb interp.rb interp.rb interp.rb fizzbuzz.rb
:
bundle exec ruby interp.rb interp.rb interp.rb fizzbuzz.rb
3.20s user
0.52s system
83% cpu
4.444 total
goh@goh% time be ruby interp.rb interp.rb interp.rb interp.rb fizzbuzz.rb
Traceback (most recent call last):
5458: from interp.rb:165:in `<main>'
5457: from interp.rb:57:in `evaluate'
5456: from interp.rb:51:in `evaluate'
5455: from interp.rb:69:in `evaluate'
5454: from interp.rb:69:in `evaluate'
5453: from interp.rb:69:in `evaluate'
5452: from interp.rb:69:in `evaluate'
5451: from interp.rb:69:in `evaluate'
... 5446 levels...
4: from interp.rb:69:in `evaluate'
3: from interp.rb:69:in `evaluate'
2: from interp.rb:66:in `evaluate'
1: from interp.rb:24:in `evaluate'
interp.rb:89:in `evaluate': stack level too deep (SystemStackError)
bundle exec ruby interp.rb interp.rb interp.rb interp.rb fizzbuzz.rb 0.93s user 0.51s system 67% cpu 2.118 total
環境変数 RUBY_THREAD_VM_STACK_SIZE を指定する
goh@goh% export RUBY_THREAD_VM_STACK_SIZE=100000000
goh@goh% time be ruby interp.rb interp.rb interp.rb interp.rb fizzbuzz.rb
:
bundle exec ruby interp.rb interp.rb interp.rb interp.rb fizzbuzz.rb
189.67s user
1.16s system
99% cpu
3:12.46 total
minruby_load は呼び出されるたびに、「次」のファイルを読み込む
require は複数回呼び出されても、1度しか読み込まない
- 初めてのRuby: Yugui著
構文解析
- LL法
- LR法
- LALR法
- Parsing Expression Grammer(PEG)
Parser
- bison: C
- racc: Ruby
- treetop: Ruby
インタプリタのブートストラップは実用上はあまり意味がない MinRubyインタプリタはRubyが必要
コンパイラであれば、元のバイナリが不要になるので自分を持ち上げることができる Rubyには実用的なコンパイラがない LLVMの教科書から入るのが良い