型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語
正誤一覧
| ページ | 位置 | 内容 | 状態 | 登録日時 |
|---|---|---|---|---|
| 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.62 |
コード5.10の4行めと5行め
|
誤：`tag: "Number"` および `tag: "Boolean"`
↓
正：`tag: "number"` および `tag: "boole...
|
― | 2025-04-21 |
| 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 |
| 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 |
| 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行め
|
誤：それに対す構文木
↓
正：それに対する構文木
|
― |
📖 特定のページの正誤を確認する
ページ番号を入力すると、そのページの正誤情報や報告を確認できます。まだ報告されていない誤りがある場合は、報告することもできます。