https://mametter.hatenablog.com/entry/2024/10/07/095302

型システムに詳しい人は型安全性を気にしがちなのですが、TypeScriptは「別に全部の型エラーを検出できなくてもよい（型安全じゃなくてよい）」という思い切った割り切りをしています。それでいて、「現実的によくあるバグは大体検出できて便利」という絶妙なバランスを達成しています。

Swift サイコーだと思ってるけどたまに息苦しいときもあるよなぁとかぼんやり思ってたことがなんか言語化されている気がする

ku-ma-me

TypeScriptは型安全じゃないからすばらしい - まめめも

「TypeScriptではじめる型システム」という記事をn月刊ラムダノートに寄稿しました。新刊を発売しました "『n月刊ラムダノート』Vol.4 No.3（2024）発行のお知らせ https://t.co/PGppk1aRRA— lambdanote (@lambdanote) 2024年10月4日どんな内容？ TypeScriptの極小サブセットに対する型検査器を書き、それを通して型システムを体感してみよう、という内容です。詳しく言うと、boolean型とnumber型と関数型しかないTypeScriptサブセット言語がターゲットです。型検査器の実装言語にもTypeScript（処…