Typescript Numeric Literal Types How To X ^ N (Exponentiation)

In this post, we are going to try to raise x to the power of n

x and n are both numeric literal types

to do this, we need to utilize multiplication type with a slight modification:

type CreateArrayWithLengthX<
LENGTH extends number,
ACC extends unknown[] = [],
> = ACC['length'] extends LENGTH
: CreateArrayWithLengthX<LENGTH, [...ACC,1]>
type Multiplication<X extends number, Y extends number, Z extends number[] = [], V extends unknown[] = []> =
[...CreateArrayWithLengthX<Y>]['length'] extends Z['length']
? V // modified
: Multiplication<X,Y,[1,...Z],[...CreateArrayWithLengthX<X>,...V]>

ok, we have the building block now, let’s do it

type Exponentiation<X extends number, N extends number, Counter extends number[] =[], Acc extends unknown[] = [1]> =
Counter['length'] extends N
? Acc['length']
: Exponentiation<X, N, [1, ...Counter], Multiplication<Acc['length'],X> >
type A = Exponentiation<2,0> // 1
type B = Exponentiation<2,1> // 2
type C = Exponentiation<2,10> // 1024
type D = Exponentiation<3,7> // 2187
type E = Exponentiation<21,3> // 9261


limitation: the result cannot exceed 9999 because the max tuple size is 9999

there is also some limitation to n, depending on the value of x
if x is 2, then n cannot exceed 10 (2¹⁰ is the first time exponential of 2 exceed 1000)
if x is 3, then n cannot exceed 7 (3⁷ is the first time exponential of 3 exceed 1000)

at this point, x^n is larger than 1000 and it is not possible to create an array with a length larger than 1000 for the next n because the max recursion depth is only 1000



Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Acid Coder

Typescript Zombie. Youtube Pikachu On Acid. (Unrelated to programming but by watching it you become a good developer overnight)