TypeScript の「型安全」を担保するために知っておきたかったこと - OITA: Oika's Information Technological Activities

タイムリープTypeScript 〜TypeScript始めたてのあの頃に知っておきたかったこと〜 アドベントカレンダー1日目の記事になります。 よろしくお願いします。 3行で TypeScript で安全に型を扱う勘所は以下2点だと思いました。 最初から最後まで型が壊れていないことを保証する 型が壊れる可能性があるものは壊れている前提で扱う 個人的背景と前提 もともと C# での開発をメインとしていました。 Web開発は、JavaScript歴 ≒ TypeScript歴くらいの型付依存者です。 そのため、型付けのゆるい言語に対する耐性がなく、本内容もそういうポジションからの見解になります。 本記事内のサンプルコードは TypeScript V4.4 で挙動を確認しています。 最近のバージョンで変更のあった点は脚注を入れています。 最初から最後まで型を壊さない C# という静的型付け言語

[hase0510]

TypeScriptの型付け仕様はめちゃくちゃややこしいんだよね。フリーダムなJavaScriptに対してよくここまで型付けの仕組みを作りあげたなあと感心するけど、完全に理解するのはすんごい大変。

[newnakashima]

enumに関しては色々意見あるだろうが両方使ってみて共用体の方がデメリットが大きいと感じたのでenumを使っている。コンパイラがもっとうまいことやってほしい、、、

[turanukimaru]

型を維持するのは大事だし逆にこれだけやっても TypeORM が number に string を入れてくれたりするのであきらめも肝心。DBチームの定義ミスなんだろうけどそこを責めても別件が有るので私のTSコードはnumber->number変換だらけ。

[hylom]

型について簡単に嘘をつける言語は別にTypeScriptだけではない（C++のキャスト地獄にうんざりした経験者は語る）

[yarumato]

“C#という静的型付け言語のあとにTypeScriptを触って戸惑った。TypeScriptの型は簡単に嘘を付ける。nullとundefinedとは、ソース全体で「区別しない！」と割り切ったら幸せになれる”

[mizchi]

外部から取得した値に型付けながらバリデーションするのに zod を愛用してる

[mayumayu_nimolove]

Googlemapとかjsが見直されたきっかけになったサービスは型のロジック修正がえらい大半だったんだなーと今頃知る。