型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語
正誤一覧
| ページ | 位置 | 内容 | 状態 | 登録日時 |
|---|---|---|---|---|
| p.iv |
下から3行め
|
誤：TAPLは2000年に書かれた本ですが
↓
正：TAPLは2002年に書かれた本ですが
|
― | 2026-04-11 |
| p.31 |
最下行
|
誤：`thnTy !== elsTy`の比較を`typeEq`に置き換えました
↓
正：`thnTy.tag !== elsTy.tag`の比較を`t...
|
― | 2026-04-11 |
| p.36 |
コード3.25の下の本文2行め
|
誤：仮引数の型は`funcTy.params[i]`で
↓
正：仮引数の型は`funcTy.params[i].type`で
|
― | 2026-04-11 |
| p.38 |
コード3.30の実行結果の2行め
|
誤：`Error: test.ts:1:22-1:26 parameter type mismatch`
↓
正：`Error: parameter ...
|
― | 2025-04-21 |
| p.50 |
コード4.14の直下
|
誤：1カラムめから6行め
↓
正：1カラムめから6カラムめ
|
― | 2025-04-21 |
|
コード4.14の実行結果の3行め
|
誤：`throw new Error ･･･（省略）･･･`
↓
正：`at error (file: ･･･（省略）･･･`
|
― | ||
| p.55 |
「4.7まとめ」1行め、NOTEの3行め、NOTEの下から2行め
|
正：変数参照
↓
誤：変数定義
|
― | 2026-04-11 |
| p.62 |
コード5.10の4行めと5行め
|
誤：`tag: "number"` および `tag: "boolean"`
↓
正：`tag: "Number"` および `tag: "Boole...
|
― | 2025-04-21 |
| p.63 |
コード5.12から上に2行め
|
誤：再帰的に`typecehck`し
↓
正：再帰的に`typecheck`し
|
― | 2026-04-11 |
| p.65 |
コード5.16の直上の本文
|
誤：bookean
↓
正：boolean
|
― | 2025-04-21 |
| p.83 |
コード7.7
|
誤： `type F = ({ foo: number }) => number;`
↓
正： `type F = (obj: { foo: numb...
|
― | 2025-04-21 |
|
コード7.9の下3行め
|
誤：引数のオブジェクトにプロパティに`foo`がある限り
↓
正：引数のオブジェクトのプロパティに`foo`がある限り
|
― |
📖 特定のページの正誤を確認
まだ報告されていない誤りの報告もこちらから（GitHubアカウントが必要）。