Typescriptの型で階乗を計算してみた
CRANK

C++erにはお馴染みの型で階乗です。 TypescriptはConditional Typeという型定義に条件分岐を付ける機能があり、また型を再帰的に定義できます。そしてstring literalやnumber literalを型として使うことが出来ます。つまり何でもできますね*1 コード import { IsZero, Next, Prev } from 'simplytyped'; type MulImpl<A extends number, B extends number, C extends number, Temp extends number> = { '2': Temp,…

nekko1119.hatenablog.com
Related Topics: AltJS C++