#型システム

TypeScriptの型定義だけで四則演算(Add, Subtract, Multiply, Divide)を実装し、タプル、スプレッド演算子、Conditional Types、inferといった型レベルプログラミングのテクニックを解説します。

TypeScriptが採用している構造的部分型について、コード例を交えて解説します。