コードには型アノテーションよりも要件アノテーションを増やせ！/harajukuts2

2022/1/28 Harajuku.ts Meetup #2 にて使用した資料です。 11ページ目はString#join()ではなくArray#join()の誤りでした。お詫びいたします。

[door-s-dev]

何事もバランスだな

[efcl]

nominal typingについて

[ys0000]

お金周りを扱う時にはこれくらい気をつけたほうがいいかも知れない。普段からここまでやるのはしんどそう。型アノテーションしているだけでミスは激減するだろうから。静的解析ツールの類でどうにかならんのかな。

[sa-yama321]

なんで、TS推しの人は「絶対ミスしないならお好きにどうぞ」とかいって、TSに行かない人に持論を押し付けるのかな。

[Magicant]

要件アノーテーションって何やねんと思ったが、TypeScript で nominal typing する話だった

[remonoil]

やりすぎて読みにくい

[jay-es]

Nominal Typing 実装の令和最新版。Branded Types とも呼ばれるやり方で、クラスなどを使うことなく「空ではない文字列」などを表現できる