Solución comentada
Publicado el 27 de agosto de 2026La solución
type Absolute<N extends number> = `${N}` extends `-${infer R}` ? R : `${N}`
El error más común
type Absolute<N extends number> = N extends `-${infer R}` ? R : `${N}`
El patrón es correcto pero el sujeto es del tipo equivocado. `-5` es un literal numérico, y un literal numérico nunca encaja con un patrón de literal de plantilla, así que el condicional siempre es falso y toda entrada cae en `${N}` — devolviendo `"-5"` sin cambios.
Línea por línea
`${N}`Interpolar un número en un literal de plantilla por lo demás vacío es el equivalente a nivel de tipos de `String(n)`. `-5` se convierte en el literal de cadena `"-5"`, contra el que los patrones ya pueden emparejar.
`-${infer R}`El menos se empareja literalmente y `R` liga todo lo que sigue. Los números positivos simplemente no encajan con este patrón y toman la rama falsa, así que no hace falta una prueba de signo aparte.
Para recordar
El nivel de tipos no tiene aritmética, pero tiene texto. Convertir un número en cadena transforma los problemas numéricos en problemas de emparejamiento — y así funcionan los trucos habituales para el valor absoluto, contar dígitos y comparar signos.