advanced.md

• Typescript avanzado
  • Utility Types
  • Mapped Types

Typescript avanzado

Tener un conocimiento sólido de los conceptos básicos de TypeScript nos permite profundizar en sus capacidades más potentes, que pueden mejorar drásticamente nuestro código. En esta sección exploraremos los Utility Types, los Mapped Types y los tipos Conditional Types, demostrando cómo cada uno puede usarse para crear tipos más flexibles, precisos y expresivos.

Utility Types

TypeScript viene con varios tipos de utilidades integradas que nos ayudaran a manipular tipos de una forma muy flexible. Así es como funcionan algunos de ellos:

• Parcial<Type> hace que todas las propiedades del tipo Type sean opcionales. Esto es particularmente útil cuando deseamos crear objetos que pueden tener solo un subconjunto de propiedades de un tipo más complejo.

• Readonly<Type> hace que todas las propiedades del tipo Type sean de solo lectura. Esta utilidad es excelente para crear objetos inmutables, lo que garantiza que una vez creado un objeto, sus propiedades no se puedan cambiar.

• Pick<Type, Keys> le permite crear un tipo eligiendo el conjunto de propiedades Keys del tipo Type. Es útil para crear tipos que solo necesitan unas pocas propiedades de un tipo más grande.

• Record<Keys, Type> crea un tipo con un conjunto de propiedades Keys de tipo Type. Esta utilidad es útil para crear objetos donde no conoce los nombres de las propiedades con anticipación pero desea asegurarse de que todos los valores sean de un tipo determinado.

Podemos ver estos y mas Utility Types en la documentación oficial de TypeScript oficial docs to utility types.

Estos Utility Types te permiten escribir tipos más detallados y específicos con el mínimo esfuerzo, lo que hace que el código sea más sólido y flexible.

Mapped Types

Los Mapped Types permiten tomar un modelo existente y transformar cada una de sus propiedades en nuevos tipos. Básicamente, te permiten crear nuevos tipos basados en los antiguos aplicando una transformación a cada propiedad. Veamos un ejemplo simple:

type Permissions = 'read' | 'write' | 'delete';

type PermissionMap<Type> = {
  [Property in keyof Type]: Permissions;
};

Con los Mapped Types, puede generar dinámicamente nuevos tipos basados en los existentes, agregando una capa de flexibilidad y reutilización a nuestras definiciones de tipos.

Para comprender mejor la utilidad de los Mapped Types, consideremos un ejemplo concreto que podemos encontrar comúnmente en el mundo real de un desarrollador.

type ReadonlyObject<Type> = {
  readonly [Property in keyof Type]: Type[P];
};

interface User {
  id: number;
  name: string;
}

const user: ReadonlyObject<User> = {
  id: 1,
  name: 'John Doe',
};

user.id = 2; // Error: Cannot assign to 'id' because it is a read-only property.

En este ejemplo, ReadonlyObject<Type> es un mapped type genérico que itera sobre todas las propiedades Property de un tipo Type y marca cada propiedad como de solo lectura. Este tipo de utilidad facilita la transformación de cualquier tipo de objeto en su version inmutable.

A continuación, profundicemos en un escenario más avanzado en el que queremos transformar un tipo de objeto cambiando el tipo de sus valores y reasignando sus claves. Este ejemplo es particularmente útil cuando se adaptan interfaces entre diferentes capas de una aplicación (por ejemplo, el backend y el frontend) o cuando se consumen API externas: