TypeScript の型定義に凝りすぎじゃね？ - Neo's World

TypeScript の型定義に凝りすぎじゃね？ ここ数年で、Qiita や Zenn で TypeScript の話を見かける機会が多くなった。JavaScript には Java のような型定義がなく、初心者の混乱の元・ひいては障害の元になりうるのはよく分かる。 しかし、最近どうにもこうにも、TypeScript でむりくり型定義するような Tips を多く見かけて、疑問に思っている。たかが TypeScript に頑張り過ぎじゃね？ と。 【TS】TypeScript 4.0 の新機能 - Qiita こういう新機能とか、追加されるのはいいんだけど、本当に便利なんか？と思ってしまう まず、TypeScript による型定義は単なる Linter でしかない。コードが実行される時は基本的に JavaScript に変換され、TypeScript の構文で記した型定義は消失する。コーディ

[neos21]

TS 不要論じゃないから、拡大解釈しないでちゃんと読んでね。

[mizchi]

ライブラリと利用側で提供すべき型のレイヤーが違う。 アプリケーション層でライブラリ層の自由度を持つ必要はない。ライブラリ提供側で複雑な型を提供するのは推論を効かせるためなので目的が違う

[mushus]

複雑に書くくらいならAny使ってもいいぞ程度の話かと思ったらTS不要論だった。個人的にTSで型書いてる時間の方がJS使ってデバッガとにらめっこしてる時間より圧倒的に短いのでTS不要は全然賛同できない。

[berlysia]

凝ったやつはライブラリやフレームワークに必要な表現力で、アプリケーション開発者は要素として知ってるくらいで大丈夫だと思う。JSで書けるの例も書くけど、型が信じられないコードの近くだけで済ませたい。

[gnety]

Pythonもそうだけど後付けの型は不完全にしかならないということをちゃんと理解して意図的にさぼることが重要だと思う

[kako-jun]

`if(variable == null)`の部分は、なぜ`===`じゃないんだろう。jsで山のように見逃されてる「| null」型へのnullチェック漏れを、tsにするだけで全部エラーにしてくれるから、少なくともjsのままという選択肢は無いわ

[fujiten3]

TS不要論ではないのにそうだと主張するブコメにいっぱい星がついてるの悲しいね

[IzumiSy]

これは分かるな。型パズルって楽しくなっちゃうし、それで技術力をアピールしたくなる気持ちも分かる。

[akabekobeko]

テンプレート メタ プログラミング的なのは確かに。けれどこれは柔軟性とのトレード オフで他の静的型付け言語も同様。実態として型はあるのだから定義しにくい状態はむしろ設計失敗のヒントとして有用だと思う。

[otherworld]

巨大なコードを書くなというけど、大きなSPAは存在するわけで、どうしろと言うのだろう？型も十分に定義されずに、細かく分割されたアプリケーション全部を把握するの大変そう…としか…。

[diveintounlimit]

最近バズってる記事を見てるとTypeScriptという名前に引きずられてるような型職人とか型芸人みたいな記事がそれなりにあるから、落としどころとしてこういう反証的な記事はわりと良いと思った。

[yarumato]

“仕事ではチーム開発ないしは引き継ぎが発生するのでTypeScriptを使うが、個人ではTSがなくても困らない。JSつまづきの避け方（例）を知っていれば意図しない型変換など防げる。巨大なコードを書くな小さく作れ”

[NOV1975]

続きも読んだけど、なんでも型定義で解決しようとするなという話だよね。正しい設計で、必要な型定義を。

[haba-tsu-nero]

「型定義に凝りすぎ」ている人を見たことが無いので何とも言えない。qiitaで「こういうことできるようになりました！」の紹介は見るけど、実際それを使ってるのってライブラリが殆どだと思う

[el-condor]

これだけ頑張って機械に情報提供しても解消されるバグが型の不一致だけかとか思ってしまうので、自分にはTypeScriptは向いていないと思う。

[masa8aurum]

ID:kako-jun `== null` は undefined ともマッチさせるための書き方です（本文に書いてあるよ）

[takyam1213]

みんなで、たのしく、メンテナンスできるレベルで使ってけばいいと思う。いくらでも難しくできるから、アーティスティックなレベルの型表現までいっちゃったらイキすぎぃだと思う。メンテできない神型表現はダメ。

[mayumayu_nimolove]

これを否定する人は否定する記事を書いてくれるとありがたい。/あった https://qiita.com/uhyo/items/3bc5f951f922804ede51

[oldriver]

APIレスポンスはType Guardをかませるといいですよ。／皆さん書いてる通り難解な型関連機能はライブラリ・フレームワーク向け。（この手の話はtsに限ったことではないが。）

[twotiger]

TypeScriptの入力値ってリレーショナルDBかJSONが大半だからこれにいちいち型定義していくのはすごい不毛なんだよな。出力値はJSONなんだからどっちみち型情報は消えるわけで

[mominis]

ブラウザやnodeでそのまま実行できるようなバージョンのJSは書くのがつらいので結局Babel使うし、TypeScript挟んでも手間は大して変わらないじゃん、みたいな雰囲気はあるはず

[tor4kichi]

ガチガチにやるならgRPC使おうぜってなるしJSは緩くてええんちゃうん

[daikikohara]

これはホントに思う。もっと他の言語を見習ってシンプルなものになって欲しい。JSベースだとしょうがない気もするけど。まぁ現状TSしかほぼ選択肢ないけどその内TSに代わるより良いものが出てくるとは思ってる。

[dtpg]

凝らないと意味なくなるんだな…

[ponpon_qonqon]

おれもTypeScritpで型にこだわるのは、文中で挙げてる3つのポイントくらいでいいと思う（新しく定義するやつは別ね）

[fukken]

ある程度凝った型定義を書いた経験があると、引き出しが増えるんよ。