TypeScript

フロントエンドのコードレビューをしていて、最も背筋が凍る瞬間がどこか分かるか？それは、`fetch` や `axios` が返してきた非同期レスポンスを `as User` や `as any` で「型アサーション」して平然とコンポーネント...

こんにちは！フロントエンドからバックエンドまで、TypeScriptで頭の中をフル回転させているあなたへ。今回は、実務で必ず直面する「外部からやってくる怪しいデータを、どうやって安全に料理するか」という超重要テーマについてお話ししますね。A...

TypeScriptの型推論エンジンをハックする：条件付き型の基礎と応用TypeScriptの型システムは、単なる静的コードアナライザーの域を脱し、純粋関数型言語の側面を持つチューリング完全なメタプログラミング環境へと進化している。とりわけ...

TypeScriptの型推論エンジンをハックする：条件付き型の基礎と応用テックリードの私だ。コードレビューをしていると、未だに「とりあえず `any` や `as` で型アサーションをつけて逃げる」という悪癖を目撃する。特に、APIのレスポ...

こんにちは！TypeScriptを触り始めると、「あ、これって入力する値によって、返ってくる型をガラリと変えられたら最高なのに……！」と思う瞬間が必ずやってきますよね。他の言語から来た方ならなおさら、「if文みたいに型を分岐させたい！」と感...

配列のインデックスアクセスにおけるnull安全の極限：境界値の彼方にある `undefined` と型システムの共犯関係TypeScriptの `strictNullChecks` は、多くの開発者にとって「ランタイムエラーを防ぐための親切...

TypeScriptのコードレビューをしていて、最もエンジニアの「実力差」が露呈する瞬間の一つが、配列のインデックスアクセス、そしてそれに伴う `undefined` のハンドリングだ。「`strictNullChecks: true` に...

こんにちは！TypeScriptの世界へようこそ。フルスタックアーキテクトの私です。今回は、TypeScriptの型システムにおいて、誰もが一度はつまずき、そして必ずマスターしなければならない「配列のインデックスアクセスと、`undefin...

関数の戻り値の型推論と明示的な型注釈のトレードオフ：コンパイラ内部の挙動から見た境界線TypeScriptの型システムは、開発者に「書かなくてもわかることは書かなくてよい」という甘美な体験をもたらす。コンパイラはAST（抽象構文木）を舐め、...

フロントエンドのコードレビューをしていて、最も消耗するのが「関数の戻り値に型注釈をつけるべきか、推論（Inference）に任せるべきか」という議論だ。「すべて推論させればDRY原則に則って美しい」という極端な意見もあれば、「不安だからパブ...