TypeScript

TypeScriptの深淵へ：Phantom Typesで「型によるビジネスルールの強制」を実現しようこんにちは。TypeScriptの型システムの奥深さに日々魅了されている皆さん、ようこそ。普段、私たちは `string` や `numb...

宣言マージという「諸刃の剣」：型システムの完全性を守るためのアーキテクチャ設計TypeScriptのコアエンジンにおいて、`interface`の宣言マージ（Declaration Merging）は、古き良きJavaScriptのプロトタ...

なぜ「宣言マージ」を殺すべきなのか：TypeScriptの型システムを「閉じた系」として設計する極意TypeScriptのコードベースが成長するにつれ、最も厄介な敵の一つとなるのが「意図しない型拡張」です。特に `interface` の強...

TypeScriptの「宣言マージ」という諸刃の剣をあえて封じる：堅牢な型設計への招待こんにちは。TypeScriptの深淵を日々探索している皆さんに、今日は少し「玄人好み」の、でも現場で最も重要なトピックをお届けします。TypeScrip...

構造的部分型の真髄：TypeScriptが「名前」を捨て、「形状」を掌握した理由TypeScriptの型システムを「JavaScriptに型を付けたもの」と短絡的に理解しているなら、それは表層しか見ていない。コンパイラ設計の観点から言えば、...

なぜTypeScriptは「名前」を捨て、「構造」を選んだのか？――構造的部分型がもたらす真の設計力TypeScriptを使い始めたエンジニアが最初に出会う「謎」の一つが、これだろう。「なぜ、明示的にインターフェースを実装していないオブジェ...

こんにちは。TypeScriptの深淵へようこそ。あなたが今、JavaやC#のような「名目型（Nominal Typing）」を採用する言語からTypeScriptの世界に足を踏み入れたのなら、最初は少し違和感を覚えるかもしれませんね。「な...

TypeScriptの深淵：継承の呪縛を解き、コンポジションで型を再定義する多くのエンジニアが「オブジェクト指向の延長」として `interface` の `extends` を多用する。しかし、TypeScriptの型システムは本質的に「...

TypeScriptの「継承」という罠を捨てろ：コンポジションで構築する堅牢な型システムコードレビューをしていると、未だに `extends` を使った巨大なインターフェースの階層構造を見かける。`BaseUser` を継承し、`Admin...

こんにちは。TypeScriptという言語の深淵へようこそ。現場でコードを書いていると、「あれもこれも機能が必要だ」と型がどんどん巨大化し、気づけば迷宮のような継承関係に頭を抱える……そんな経験はありませんか？TypeScriptの型システ...