第 7 章インタープリタ

57.

141ページ 18行目

誤：

n | s | true | false

正：

[[c]]
58.

141ページ 20行目

誤：

$n$ は整数， $s$ は文字列定数を表す．

正：

[[c]]は定数の実行時表現を表す．
59.

144ページ 9行目

誤：

$Eval(E,\mbox{\frenchspacing($e_{1}$, $e_{2}$)})=(Eval(E,e_{1}),Eval(E,e_{2}))$

正：

$Eval(E,\mbox{\frenchspacing($e_{1}$, $e_{2}$)})=$

let $v_{1}=Eval(E,e_{1})$

$v_{2}=Eval(E,e_{2})$

in if $v_{1}\not=\mathit{wrong}$ and $v_{2}\not=\mathit{wrong}$ then $(v_{1},v_{2})$ else $\mathit{wrong}$
60.

144ページ 12行目

誤：

if ${\color[rgb]{1,0,0}v_{1}}=(v_{1},v_{2})$ then

正：

if ${\color[rgb]{0,0,1}v}=(v_{1},v_{2})$ then
61.

144ページ 13行目

誤：

$Eval(E,\mbox{\frenchspacing prim($p$, $e_{1}$, $e_{2}${\color[rgb]{1,0,0}``$% \mbox{\frenchspacing)}$''ヌケ}})=$

正：

$Eval(E,\mbox{\frenchspacing prim($p$, $e_{1}$, $e_{2}${\color[rgb]{0,0,1})}})=$
62.

144ページ 20行目

誤：

if $v={\color[rgb]{1,0,0}\mbox{\frenchspacing true}}$ then

正：

if $v={\color[rgb]{0,0,1}\mathit{true}}$ then
63.

145ページ 2行目

誤：

sub(x,1)

正：

prim(sub, x, 1)
64.

148ページ 16行目( $T_{3}$ の導出ラベル)

誤：

(app)

正：

(rec)
65.

150ページ 17行目

誤：

_require "../absyn/Syntax.smi"

正：

_require "../parser/Syntax.smi"
66.

152ページ 25行目

誤：

Value.valueToString

正：

V.valueToString
67.

153ページ 2行目

誤：

Eval.smiの使用宣言のために
   _require "../eval/Eval.smi"
を追加する．

正：

以下の使用宣言を追加する
   _require "../eval/Eval.smi"
   _require "../eval/Value.smi"
68.

153ページ 6行目(ページレイアウト保存のため)

誤：

Mainコマンドが生成されるはずである．以下は実行例である．

正：

Mainコマンドが生成される．以下は実行例である．
69.

153ページ (9行目)

誤：

fun f x = if eq(x,1) then 1 else mul(x, f sub(x,1));

正：

fun f x = if prim(eq, x, 0) then 1 else
prim(mul, x, f prim(sub, x, 1));
70.

153ページ 11行目

誤：

val f = (fix f(x) => if prim(eq,x,1) then 1 else $\cdots$ )

正：

val f = (fix f(x) => if prim(eq,x,0) then 1 else $\cdots$ )

$Eval(E,\mbox{\frenchspacing($e_{1}$, $e_{2}$)})=$
	let	$v_{1}=Eval(E,e_{1})$
		$v_{2}=Eval(E,e_{2})$
	in	if $v_{1}\not=\mathit{wrong}$ and $v_{2}\not=\mathit{wrong}$ then $(v_{1},v_{2})$ else $\mathit{wrong}$

第 7 章 インタープリタ

第 7 章インタープリタ