Capítulo 4. Tipos de restricción
Este trabajo se ha traducido utilizando IA. Agradecemos tus opiniones y comentarios: translation-feedback@oreilly.com
Muchos desarrolladores aprenden las anotaciones de tipo básicas y se dan por satisfechos. Pero estamos lejos de haber terminado. Hay una gran cantidad de anotaciones de tipo avanzadas que tienen un valor incalculable. Estas anotaciones de tipo avanzadas te permiten restringir los tipos, limitando aún más lo que pueden representar. Su objetivo es hacer que los estados ilegales sean irrepresentables. Los desarrolladores no deben poder crear físicamente tipos que sean contradictorios o no válidos en tu sistema. No puedes tener errores en tu código si es imposible crear el error en primer lugar. Puedes utilizar las anotaciones de tipo para lograr este mismo objetivo, ahorrando tiempo y dinero. En este capítulo te enseñaré seis técnicas diferentes:
Optional-
Utilízalo para sustituir las referencias de
Noneen tu código base. Union-
Utilízalo para presentar una selección de tipos.
Literal-
Utilízalo para restringir los desarrolladores a valores muy específicos.
Annotated-
Utilízalo para proporcionar una descripción adicional de tus tipos.
NewType-
Sirve para restringir un tipo a un contexto concreto.
Final-
Se utiliza para evitar que las variables se reboten a un nuevo valor.
Empecemos por tratar las referencias None con tipos Optional.
Tipo opcional
Las referencias nulas suelen ser conocido como el "error del billón de dólares", ...