TypeScript に入門し、その型システムについての認識を深めた

TypeScript の構造的部分型や Mapped Types, Conditional Types といった機能について学び、型レベル自然数とその演算を定義したりしていました。