Type-level TypeScript
この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です.12月といえば,万人受けしなさそうなネタでブログを書いては「はてブが付かねえ」と文句を言う季節だが,今年もそういう方針で,TypeScript での型レヴェル計算について書く.型レヴェルでの自然数などが定義できると,リストに型レヴェルで長さを付けるこ…