TL;DR
内容
any と unknown の違い
any は次の 2 つの性質を持つため、型を値の集合として扱う型チェック（項目7 型を値の集合として考える）を無効にしてしまう。
- すべての型は
anyに代入できる。つまりanyは他のすべての型のスーパータイプである。 anyはnever以外のすべての型に代入できる。つまりanyはすべての型のサブタイプである。
unknown は 1 の性質だけを持つトップ型である。逆に never は 2 の性質だけを持つボトム型である。そのため、unknown の値のプロパティにアクセスしたり、関数として呼び出したりすると型エラーになる。これにより、型アサーションや型の絞り込み（instanceof やユーザー定義型ガード）を強制できる。
ただし、unknown を絞り込むには多くの証拠が必要になる。
function isBook(value: unknown): value is Book {
return typeof value === "object" && value != null && "name" in value && "author" in value
}また、ガードが正しく実装されているか、型の変化に合わせて更新されているかを確かめる仕組みがないので、ユーザー定義型ガードは型アサーションと同じく安全ではない。解決策は項目74 実行時に型を再構築する方法を知るで扱う。
型パラメータで代用しない
unknown の代わりに型パラメータを使うこともできるが、戻り値の型にしか使われない型パラメータはアンチパターンである。
function safeParseYAML<T>(yaml: string): T { ... }これは機能的には型アサーションと同じで、安全ではない（項目51 不必要な型パラメーターを避ける）。
ダブルアサーション
ダブルアサーションでも、any の代わりに unknown を使える。機能は同じだが、any を使うことへの抵抗を避けられる。
declare const foo: Foo
let barAny = foo as any as Bar
let barUnk = foo as unknown as Bar{} や object との違い
{} や object も幅広い値を受け付ける型だが、unknown よりは狭い。
{}型とObject型:nullとundefined以外のすべての値object型: すべての非プリミティブ値。true、12、'foo'は含まないが、オブジェクト、配列、関数は含む
null や undefined 以外だけを許可したい場面はほとんどないので、一般には unknown のほうが好ましい。
キーワード
自分の理解
typeof null を実行すると 'object' が返るが、null はプリミティブ値である（The history of “typeof null”）。