型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語
正誤一覧
| ページ | 位置 | 内容 | 状態 | 登録日時 |
|---|---|---|---|---|
| p.84 |
コード7.10の1行め
|
誤： `type F = ({ foo: number; bar: number }) => number;`
↓
正： `type F = (obj...
|
― | 2025-04-21 |
| p.87 |
脚注2
|
誤：この条件下では、仮引数が多い関数型を、仮引数が少ない関数型の部分型としても問題ないはずです。実際、TypeScriptでは型`(a: number, ...
|
― | 2025-04-21 |
|
コード7.15の直上
|
誤：`param1.type`の引数の順番
↓
正：`ty1.params[i].type`の引数の順番
|
― | ||
| p.88 |
コード7.17のキャプション
|
誤：subtypeの実装（オブジェクト型）
↓
正：subtypeの実装（関数型）
|
― | 2026-04-11 |
| p.94 |
コード8.2 の3行め
|
誤：`numbers(n + 1)`
↓
正：`numbers(num + 1)`
|
― | 2025-04-21 |
| p.96 |
コード8.9 の2行め
|
誤：`numbers(n + 1)`
↓
正：`numbers(num + 1)`
(c.f. https://github.com/LambdaN...
|
― | 2025-04-21 |
| p.97 |
本文9行めと11行め（2か所）
|
誤：`numbers(n + 1)`
↓
正：`numbers(num + 1)`
|
― | 2025-04-21 |
|
8.4節の5行め
|
誤：それに対す構文木
↓
正：それに対する構文木
|
― | ||
| p.99 |
コード8.14の7行め
|
誤：`` `)); ``
↓
正：`` `), { depth: null }); ``
|
― | 2025-04-21 |
| p.108 |
コード8.27のキャプション
|
誤：typeEqNativeを使って比較を打ち切る
↓
正：typeEqNaiveを使って比較を打ち切る
|
― | 2026-04-11 |
| p.134 |
下から6行め
|
誤：`"TypeAbs"`の`body`は常に`"Func"`となります
↓
正：`"TypeAbs"`の`type`は常に`"Func"`となります
|
― | 2026-04-11 |
📖 特定のページの正誤を確認
まだ報告されていない誤りの報告もこちらから（GitHubアカウントが必要）。