DEV Community

Discussion on: Typescript Odd Number Type

View post

Replies for: Ok, challenge accepted. If you are not affraid of generic programming you can do Odd or Even type check without limitation : type Number2String&...

Collapse
 
tylim88 profile image
Acid Coder • • Edited

good solution, I further simplified your code

type IsEven<T extends number> = 
  `${T}` extends `${number}${0|2|4|6|8}` ? T : never;

type IsOdd<T extends number> = 
  `${T}` extends `${number}${1|3|5|7|9}` ? T : never;

function guarantyOddNumber<T extends number>(n: IsOdd<T>) {
  return n;
}

function guarantEvenNumber<T extends number>(n: IsEven<T>) {
  return n;
}

guarantyOddNumber(6876545); // succeed odd
guarantyOddNumber(6876546); // fail odd
guarantEvenNumber(6876546) // succeed even
guarantEvenNumber(6876545); // fail even
Enter fullscreen mode Exit fullscreen mode

generic

however there is fundamental different between your solution and my original solution

yours can only be used in function, the original solution is intended to assign to a variable, for example

const a:OddNumber = 1
Enter fullscreen mode Exit fullscreen mode

which is why it is a odd number type, not odd number check

I do however agree that the function one is more versatile