コンパイラ – 原理と構造 – 初版正誤表

第 6 章型の解析と型推論

48.

103ページ 4行目

誤：

式を表すメタ変数 $e$

正：

式，定数，演算を表すメタ変数 $e$ ， $c$ ， $p$
49.

103ページ 7行目

誤：

n | s | true | false

正：

$\langle\mathit{n}\rangle$ | $\langle\mathit{s}\rangle$ | true | false
50.

103ページ 12行目

追加：

されている．以降，メタ変数 $c$ と $p$ を文法の非終端記号としても使用する．
51.

109ページ 15行目

誤：

規則(var)，(int)，(true)，(false)

正：

規則(var)，(const)
52.

110ページ 4行目

誤：

$\Gamma_{1}$ と $\Gamma_{1}$ が等しく

正：

$\Gamma_{1}$ と $\Gamma_{2}$ が等しく
53.

114ページ 1行目

誤：

(u-i) $(\{(\tau,\tau)\uplus E{\color[rgb]{1,0,0}\}},\ S)\Longrightarrow(E,\ S)$

正：

(u-i) $(\{(\tau,\tau){\color[rgb]{0,0,1}\}}\uplus E,\ S)\Longrightarrow(E,\ S)$
54.

114ページ 2行目

誤：

(u-ii) $(\{(t,\tau)\}\uplus E{\color[rgb]{1,0,0}\}},\ S)\Longrightarrow(\{t:\tau\}(E),% \ \{(t,\tau)\}\cup\{t:\tau\}(S))$

正：

(u-ii) $(\{(t,\tau)\}\uplus E,\ S)\Longrightarrow(\{t:\tau\}(E),\ \{(t,\tau)\}\cup\{t:% \tau\}(S))$
55.

114ページ 3行目

追加：

(ただし $t\not\in FTV(\tau)$ のとき． $(\tau,t)$ に対しても同様の規則を仮定．)
56.

114ページ下から2行目

誤：

ある型代入 $S_{3}$ があって $S_{2}={\color[rgb]{1,0,0}S_{1}S_{3}}$ となるとき

正：

ある型代入 $S_{3}$ があって $S_{2}={\color[rgb]{0,0,1}S_{3}S_{1}}$ となるとき
57.

116ページ下から3行目

誤：

${\cal U}(matches(\Gamma_{1},\Gamma_{2})\cup matches(\Gamma_{1},\Gamma{{}_{2}})% \cup matches(\Gamma{{}_{1}},\Gamma{{}_{2}})\ {\color[rgb]{1,0,0}(\mbox{$\cup$ヌ% ケ})}$

正：

${\cal U}(matches(\Gamma_{1},\Gamma_{2})\cup matches(\Gamma_{1},\Gamma{{}_{3}})% \cup matches(\Gamma{{}_{2}},\Gamma{{}_{3}})\ {\color[rgb]{0,0,1}\cup}$
58.

117ページ 9行目

誤：

$\mbox{$\mathit{PTS}$}(\mbox{\frenchspacing 1})=\emptyset\vdash{\color[rgb]{% 1,0,0}x}:\mbox{\frenchspacing int}$

正：

$\mbox{$\mathit{PTS}$}(\mbox{\frenchspacing 1})=\emptyset\vdash{\color[rgb]{% 0,0,1}\mbox{\frenchspacing 1}}:\mbox{\frenchspacing int}$
59.

124ページ 16行目

誤：

let val (tyEnv, ty) =
          case dec of Syntax.VAL (id, exp) => PTS exp
                    | Syntax.FUN (f, x, exp) => PTS exp

正：

let val exp = case dec of
                    Syntax.VAL (id, exp) => exp
        val (tyEnv, ty) = PTS exp
60.

124ページ 26行目

誤：

handle UnifyTy.Unify =>

正：

handle UnifyTy.UnifyTy =>
61.

131ページ 6行目(図6.8のラベル)

誤：

(int)

正：

(const)

62.

131ページ（「・トップレベルの導出：」の図）

誤：

\overline{\ \ \emptyset:\emptyset\ \ }

(top)

{\cal D}_{1}

\overline{\mbox{{\color[rgb]{1,0,0}$\vdash$}}\mbox{\frenchspacing val id = fn % x => x}:\{\mbox{\frenchspacing id}:\forall(t).t\rightarrow t\}}

(top)

{\cal D}_{2}

\overline{\mbox{{\color[rgb]{1,0,0}$\vdash$}}\mbox{\frenchspacing val id = fn % x => x; val x = id 1}:\{\mbox{\frenchspacing id}:\forall(t).t\rightarrow t,% \mbox{\frenchspacing x}:\mbox{\frenchspacing int}\}}

(top)

正：

\overline{\ \ \emptyset:\emptyset\ \ }

(nil)

{\cal D}_{1}

\overline{\mbox{\frenchspacing val id = fn x => x}:\{\mbox{\frenchspacing id}:% \forall(t).t\rightarrow t\}}

(val)

{\cal D}_{2}

\overline{\mbox{\frenchspacing val id = fn x => x; val x = id 1}:\{\mbox{% \frenchspacing id}:\forall(t).t\rightarrow t,\mbox{\frenchspacing x}:\mbox{% \frenchspacing int}\}}

(val)

63.

132ページ 13行目

誤：

$S_{2}={\cal U}(\{(\tau,t_{1}*t_{2})\}$ “)”ヌケ ( $t_{1},t_{2}$ fresh)

正：

$S_{2}={\cal U}(\{(\tau,t_{1}*t_{2})\}{\color[rgb]{0,0,1})}$ ( $t_{1},t_{2}$ fresh)
64.

132ページ 15行目

誤：

if $e_{1}$ then $e_{1}$ else $e_{3}$

正：

if $e_{1}$ then $e_{2}$ else $e_{3}$

65.

132ページ 19行目( ${\cal W}$ 定義の7番目)

誤：

${\cal W}(\Gamma,\mbox{\frenchspacing if $e_{1}$ then $e_{1}$ else $e_{3}$})=$
	let	$(S_{1},\tau_{1})={\cal W}(\Gamma,e_{1})$
		$(S_{2},\tau_{2})={\cal W}(S_{1}(\Gamma),e_{2})$
		$(S_{3},\tau_{3})={\cal W}(S_{2}S_{1}(\Gamma),e_{3})$
		$S_{4}={\cal U}(\{(S_{3}S_{2}(\tau_{1}),\mbox{\frenchspacing bool}),(\mbox{{% \color[rgb]{1,0,0}$S_{2}$}}(\tau_{2}),\tau_{3})\})$
	in $(S_{4}S_{3}S_{2}S_{1},S_{4}(\tau_{3}))$

正：

${\cal W}(\Gamma,\mbox{\frenchspacing if $e_{1}$ then $e_{1}$ else $e_{3}$})=$
	let	$(S_{1},\tau_{1})={\cal W}(\Gamma,e_{1})$
		$(S_{2},\tau_{2})={\cal W}(S_{1}(\Gamma),e_{2})$
		$(S_{3},\tau_{3})={\cal W}(S_{2}S_{1}(\Gamma),e_{3})$
		$S_{4}={\cal U}(\{(S_{3}S_{2}(\tau_{1}),\mbox{\frenchspacing bool}),({\color[% rgb]{0,0,1}S_{3}}(\tau_{2}),\tau_{3})\})$
	in $(S_{4}S_{3}S_{2}S_{1},S_{4}(\tau_{3}))$

第 6 章 型の解析と型推論

第 6 章型の解析と型推論