Un mini analizador de rutas a nivel de tipos
Analice rutas para convertirlas en objetos de parámetros tipados.
Un mini analizador de rutas a nivel de tipos es una lección gratuita de TypeScript Academy en CoddyKit. Esta es la lección 4 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de TypeScript Academy, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de TypeScript Academy incluye 4 lecciones en total.
El objetivo
Construiremos un parser de rutas que lea una ruta como "users/:id/posts/:postId" y produzca un objeto de parámetros tipado { id: string; postId: string }, completamente en tiempo de compilación. Este es un patrón real utilizado por routers tipados.
type Params = ParseRoute<"users/:id/posts/:postId">;
// Goal: { id: string; postId: string }Reconocimiento de un parámetro
Un segmento de ruta es un parámetro cuando comienza por ":". Hacemos coincidir ese prefijo con una plantilla literal e inferimos el nombre del parámetro después de los dos puntos.
Notación: TypeScript real escribe los tipos de plantilla literal con cadenas delimitadas por comillas invertidas que contienen marcadores de dólar y llaves. En estos fragmentos mostramos ese patrón como Tpl<...>, enumerando cada parte en orden; por ejemplo, una plantilla con comillas invertidas que coincide con el prefijo literal seguido de Rest aparece como Tpl<'prefix', infer Rest>.
type ParamName<S> = S extends Tpl<':', infer Name> ? Name : never;
// Tpl<...> denotes a backtick template literal type: a colon then Name
type X = ParamName<':id'>; // 'id'
type Y = ParamName<'users'>; // neverDivisión de la ruta
Primero divida la ruta en segmentos usando "/" y reutilizando el tipo Split. Después, cada segmento será un literal o un parámetro.
type Split<S extends string, Sep extends string> =
S extends Tpl<infer H, Sep, infer T> ? [H, ...Split<T, Sep>] : [S];
// Tpl<H, Sep, T> = a template literal type matching H, then Sep, then T
type Segs = Split<'users/:id', '/'>; // ['users', ':id']Recursión directa con plantillas
También podemos analizar la cadena original sin dividirla primero, haciendo coincidir un segmento cada vez. Haga coincidir hasta el siguiente "/", gestione ese segmento y, después, aplique recursión al resto.
type ParseRoute<S extends string> =
S extends Tpl<infer Seg, '/', infer Rest>
? SegParam<Seg> & ParseRoute<Rest>
: SegParam<S>;
// Tpl<Seg, '/', Rest> matches a segment, a slash, then the restParámetros por segmento
El auxiliar convierte un único segmento en un objeto con una propiedad (si es un parámetro) o en un objeto vacío (si es un literal).
type SegParam<S extends string> =
S extends Tpl<':', infer Name> ? { [K in Name]: string } : {};
// Tpl<':', Name> matches a colon followed by the param name
type X = SegParam<':id'>; // { id: string }
type Y = SegParam<'posts'>; // {}Combinación mediante intersección
Cada segmento aporta sus parámetros mediante una intersección. Los objetos vacíos desaparecen en una intersección, por lo que solo permanecen los parámetros reales en el tipo final.
type Params = ParseRoute<"users/:id/posts/:postId">;
// { id: string } & {} & { postId: string } & {}
// = { id: string; postId: string }Seguimiento del análisis
Para "users/:id/posts/:postId":
- Segmento "users" -> {} , recursión sobre ":id/posts/:postId"
- Segmento ":id" -> { id: string }, recursión sobre "posts/:postId"
- Segmento "posts" -> {}, recursión sobre ":postId"
- Segmento ":postId" -> { postId: string }, caso base
type Final = { id: string } & { postId: string };Limpieza del resultado
La intersección de objetos se muestra de forma poco clara. Un auxiliar «prettify» la aplana en un único tipo de objeto limpio mediante un tipo mapped sobre sus claves.
type Prettify<T> = { [K in keyof T]: T[K] } & {};
type Clean = Prettify<ParseRoute<"users/:id">>; // { id: string }Uso del parser
Integre el tipo analizado en una función para que el handler reciba parámetros correctamente tipados. Pasar una clave incorrecta se convierte en un error de compilación.
declare function route<P extends string>(
path: P,
handler: (params: Prettify<ParseRoute<P>>) => void
): void;
route("users/:id", p => { const id: string = p.id; });Ventaja de los parámetros tipados
Ahora el compilador deriva params de la propia cadena de ruta. Cambie el nombre de un parámetro en la ruta y todos los handlers actualizarán automáticamente sus claves esperadas. No necesita una interfaz manual ni existe desincronización entre la ruta y el handler.
route("users/:userId", p => {
const u = p.userId; // ok
// const x = p.id; // error: id does not exist
});Extensión del parser
Este pequeño parser es la semilla de un router tipado completo. Puede añadir valores tipados (parámetros numéricos), comodines y segmentos opcionales, enriqueciendo el auxiliar por segmento con más patrones de plantilla. La estructura de plantillas recursivas permanece igual.
type SegParam2<S extends string> =
S extends Tpl<':', infer N, '(number)'> ? { [K in N]: number }
: S extends Tpl<':', infer N> ? { [K in N]: string }
: {};
// Tpl<...> stands for a backtick template literal type patternComprobación rápida
Compruebe cuánto entiende el parser de rutas.
Resumen
Ha construido un parser de rutas en tiempo de compilación.
- Haga coincidir cada segmento mediante inferencia recursiva de plantillas literales.
- Los segmentos de parámetros (
:name) se convierten en{ name: string }. - Los segmentos literales se convierten en
{}y desaparecen en la intersección. Prettifyaplana el resultado para obtener unos params limpios.
A continuación, el curso 25: seguridad de tipos integral con tRPC.
Preguntas frecuentes
¿La lección «Un mini analizador de rutas a nivel de tipos» es gratis?
Sí — el texto completo de «Un mini analizador de rutas a nivel de tipos» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de TypeScript Academy, actualiza a CoddyKit PRO. El curso de TypeScript Academy incluye 4 lecciones en total.
¿Qué aprenderé en «Un mini analizador de rutas a nivel de tipos»?
Analice rutas para convertirlas en objetos de parámetros tipados. Practicas TypeScript Academy con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.
¿Necesito experiencia previa para empezar TypeScript Academy?
No se requiere experiencia previa. TypeScript Academy en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 4 de 4.
¿Cuánto tiempo toma la lección «Un mini analizador de rutas a nivel de tipos»?
La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.
¿Puedo escribir y ejecutar código en esta lección de TypeScript Academy?
Sí. Cada lección de TypeScript Academy incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.
Todas las lecciones de este curso
- Conceptos de combinadores de analizadores
- División de cadenas a nivel de tipos
- Análisis con literales de plantilla
- Un mini analizador de rutas a nivel de tipos