第 7 章インタープリタ

66.

141ページ 18行目

誤：

n | s | true | false

正：

[[c]]
67.

141ページ 20行目

誤：

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

正：

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

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}$
69.

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
70.

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})}})=$
71.

144ページ 20行目

誤：

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

正：

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

145ページ 2行目

誤：

sub(x,1)

正：

prim(sub, x, 1)
73.

147ページ (評価式の3行目)

誤：

(rec)   $E\vdash e_{1}\Downarrow\mathit{Rec}(E_{0},f_{0},x_{0},e_{0})$ $E\vdash e_{2}\Downarrow v_{2}$ $E_{0}\{\mbox{{\color[rgb]{1,0,0}$f$}}:\mathit{Rec}(E_{0},f_{0},x_{0},e_{0}),% \mbox{{\color[rgb]{1,0,0}$x$}}:v_{2}\}\vdash e_{0}\Downarrow v$ $E\vdash e_{1}\ e_{2}\Downarrow v$



正：

(rec)   $E\vdash e_{1}\Downarrow\mathit{Rec}(E_{0},f_{0},x_{0},e_{0})$ $E\vdash e_{2}\Downarrow v_{2}$ $E_{0}\{{\color[rgb]{0,0,1}f_{0}}:\mathit{Rec}(E_{0},f_{0},x_{0},e_{0}),{\color% [rgb]{0,0,1}x_{0}}:v_{2}\}\vdash e_{0}\Downarrow v$ $E\vdash e_{1}\ e_{2}\Downarrow v$
74.

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

誤：

(app)

正：

(rec)
75.

150ページ 17行目

誤：

_require "../absyn/Syntax.smi"

正：

_require "../parser/Syntax.smi"
76.

152ページ 25行目

誤：

Value.valueToString

正：

V.valueToString
77.

153ページ 2行目

誤：

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

正：

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

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

誤：

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

正：

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

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));
80.

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 章インタープリタ