TypeScript: varianza y solidez
21 enero 2019 | , | 2 comentarios

Hace un año escribía sobre las diferencias entre los sistemas de tipos nominales y los sistemas de tipos estructurales. También explicaba por qué el tipado estructural que utiliza Typescript puede suponer un problema a la hora de mantener invariantes en el modelo de datos de una aplicación. En este post quiero retomar el tema centrándome...

Seguir leyendo

Tipado nominal y tipado estructural
22 enero 2018 | | 3 comentarios

Cuando empiezas a conocer varios lenguajes de programación es fácil darse cuenta de las diferencias entre ellos. No me refiero sólamente a las más evidentes (paradigma, sintaxis, librerías, etc.), sino también a cosas que puede resultar algo más sutiles, como las implicaciones que tienen en el diseño de las aplicaciones el sistema de tipos del...

Seguir leyendo