TypeScript において型レベルで自然数の計算を行うサンプルです。 実用的かどうかは分からないけど、型レベル再帰のテクニックとかは普通に使えそう (というか使った)。 以下を参考にしました。 タプル型の操作 最低 N 個の要素をもつ配列型 型レベルプログラミングエラー抑制テクニック TypeScript の型システムはチューリング完全