TypeScriptの型システムのみを使って問題を解く、パズル形式の学習教材・競技型チャレンジです。 これは単なる型定義練習ではなく、型レベルプログラミング（Type-level Programming）の真髄に触れることができます。 type-challenges とは？ TypeScriptの型だけで ...