TypeScript、お前もか： nullやundefinedの扱いがイイカゲン過ぎ【事実誤認あり】 - 檜山正幸のキマイラ飼育記 (はてなBlog)

TypeScriptには期待してたんだけど、ガッカリだよ。 それでもまー、割と好きだけど。 *1 [追記]各所でご指摘いただきました（ありがとうございます）ように、コンパイル・オプション付きなら、シングルトン型のセマンティクスになります。この記事はほぼ言いがかりでした。事実誤認した経緯と、内容的修正を「TypeScript、僕が悪かった、ゴメン： nullやundefinedの扱いはマトモだった」に書きました。 この記事の本文自体はそのままにします。事実誤認も含めて記録が残ってもいいかな、と思うので。ただし、この記事だけを読む人が同じ誤認をしないように、何箇所かに修正記事へのリンクは入れます。[/追記] 内容： 特殊な型や値の扱い方はイイカゲンになりがち 特殊な型とは TypeScriptの基本型にnullは入らないと信じていた どんな伝統なんだよ TypeScriptにシングルトン型はな

[taketyan]

strictNullChecks=true にすれば幸せになれる気がする

[mod_poppo]

Standard MLやHaskellにはサブタイピングはないわけだから、例外の型がnever型でないことを以ってStandard MLを「オカシイ」と言われても…。

[adwd118]

strictNullCheckするとだいぶ違うと思う。あとTypeScriptはJSONに型付いてラッキー程度で、関数型好きの人が満足するレベルは期待しないほうがいいのでは🤔

[gfx]

strictNullChecks付きでもう一度みてほしい！

[xbs2r]

nullは何億ドルの誤りか(2009年当時10億ドル)

[unno_hideyuki]

Haskell の error も String -> a 型だけど、これは、どんな値が要求される場所にでも書けるためには必要なことなんかなぁと思っていた。Ouch も似たような理由じゃないんかな？（しらんけど） / サブタイピング？（あとで勉強