Programming with Types
Vlad Riscutia
- Editorial
- Manning
- Año
- 2019
- Páginas
- ~325
- Nivel
- Intermedio
De qué trata
Obra innovadora de Vlad Riscutia publicada por Manning en 2019. Enseña cómo aprovechar los sistemas de tipos estáticos para diseñar software más seguro, legible, autodocumentado y libre de errores.
Cubre tipos de datos fundamentales, tipos algebraicos (suma y producto), subtipado y polimorfismo, genéricos y plantillas, tipos de datos abstractos, composición funcional y el diseño de APIs donde el compilador hace imposible representar estados inválidos.
Vlad Riscutia ilustra cada concepto con implementaciones comparativas en TypeScript y C++, demostrando cómo la disciplina de tipos previene bugs catastróficos en producción. Muy formativo para ingenieros de software.
- Programming with Types
- Vlad Riscutia
- Manning
- Sistemas de Tipos
- Tipos Algebraicos
- C++
- TypeScript
- Seguridad
¿Cómo enseña?
Teoría + práctica
- ✓ Incluye ejercicios
- ✓ Incluye proyectos
Proyectos
Framework de Dominio con Validación Estricta de Tipos en C++
Diseño de un motor de reservas donde las máquinas de estado y permisos están codificadas en el sistema de tipos estático.
