four-arithmetic-operations-in-typescript.ts

type Seq<T extends number, V extends number[] = []> = V["length"] extends T
  ? V
  : Seq<T, [...V, V["length"]]>;

type Add<T extends number, U extends number> = [...Seq<T>, ...Seq<U>]["length"];

type Sub<
  T extends number,
  U extends number,
  V extends never[] = []
> = U extends T ? V["length"] : Sub<T, Add<U, 1>, [...V, never]>;

type Mul<T extends number, V extends number> = V extends 1
  ? T
  : Mul<Add<T, T>, Sub<V, 1>>;

type Div<
  T extends number,
  U extends number,
  Result extends number = 0
> = T extends Seq<U>[number] ? [Result, T] : Div<Sub<T, U>, U, Add<Result, 1>>;