TypeScriptにはanyが4種類、undefinedが3種類、……

このツイートの解説をします。 TypeScriptにはanyは4種類、undefinedは3種類、nullは2種類、trueは2種類、falseは2種類、neverは5種類あるのか。普通に使ってる分にはわからないが…… TypeScriptでは表面上は同じ名前でも内部的に異なる型が割り振られている場合がいくつかあります。そのようなもののうち、プリミティブな型についてまとめました。 対象TypeScriptバージョンは4.1.3です。 2021-01-09 update: 数え方を見直しました。 any が4種類から6種類に増えました。 注意 ここに書かれていることを知らなくても、TypeScriptプログラミングにおいて全く困りません。あくまでコンパイラの機微を楽しむつもりでお読みください。 前提知識 any, undefined, null, true, false, never 型につ

[mizdra]

TypeScriptのinternalな型について色々解説されていて面白い

[Keisuke69]

“コンパイラの機微を楽しむ”

[ardarim]

コンパイラの気持ちになるですよ

[dorapon2000]

“到達不能コード内で変数が参照されたとき、フロー型の通常の規則に基づくと never 型が割り当てられます。しかし、到達不能性のせいでそうなっている場合はかわりに宣言型にフォールバックするようになっています”

[efcl]

TypeScriptのanyの種類。 内部的なanyの分類

[shiopon01]

……

[daruyanagi]

（＠＠；

[ustam]

anyって型を決められなかった時の敗北型宣言じゃないの？と思ったらそういう意味か。