C++erにはお馴染みの型で階乗です。 TypescriptはConditional Typeという型定義に条件分岐を付ける機能があり、また型を再帰的に定義できます。そしてstring literalやnumber literalを型として使うことが出来ます。つまり何でもできますね*1 コード import …