Typescriptda bunaqa mazahizm qilsa bo'ladi.

JSchialrga IQtest.

typeT misolidaka agar FromNumber<n> berilsa type level N bo'lishi kerak. Real misol:
FromNumber<1> -> Succ<Zero>

Kegin huddi shuni teskarisi ToNumber<T> . Bu yerda type leveldagi raqamni ham rostmana raqamga o'girish kerak.

O'zi TSdagi literal tiplar evaziga siz masalan bunaqa qilib tip elon qila olasiz let one:1

ToNumber<T> kakraz manashu literal tip qaytarishi kerak. Endi Add<A, B> ni yozsangiz kifoya :)

Bugun ozgina yoshlikni esladim 🥸