BFE.devAI解答 - TypeScript 类型谜题
56. implement Abs<N>

type Abs<N extends number> = N extends 0 ? 0 : N extends number ? (N extends -infer R ? R : N) : never;

这个TypeScript类型定义使用条件类型（conditional types）来实现绝对值计算。如果传入的 N 是0，直接返回0。否则，如果 N 是负数，则返回它的相反数，否则返回它自身。如果传入的 N 不是number类型，则返回 never。