#型レベルプログラミング

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