Programación con tipos

Opiniones de los lectores

El libro proporciona una introducción completa y accesible a los sistemas de tipos utilizando TypeScript, haciendo que los conceptos complejos sean más digeribles para los programadores. Cubre una amplia gama de temas, desde tipos básicos a conceptos avanzados de programación, apelando principalmente a los desarrolladores de nivel medio, aunque ofrece ideas para un público más amplio.

⬤ Escrito en inglés sencillo, lo que lo hace accesible para los programadores de todos los días.
⬤ Cubre una amplia gama de conceptos de programación, incluyendo programación orientada a objetos, programación funcional y estructuras de datos.
⬤ Incluye útiles diagramas, patrones y ejemplos de código.
⬤ Estilo atractivo y digerible, especialmente para la teoría de tipos aplicada.
⬤ Ofrece información valiosa para desarrolladores de nivel medio que buscan mejorar sus habilidades.

⬤ No recomendado para aquellos no familiarizados con la programación JavaScript, ya que TypeScript es un superconjunto de JavaScript.
⬤ Algunas secciones pueden requerir varias lecturas para su completa comprensión.
⬤ Aunque TypeScript es generalmente una ventaja, su sintaxis de anotaciones de tipo puede ser poco manejable y difícil de leer.
⬤ No sirve como guía para principiantes para aprender TypeScript; más bien, se centra en conceptos de programación en un contexto de tipado estático.

(basado en 4 opiniones de lectores)

Título original:

Programming with Types

Contenido del libro:

Resumen.

Programming with Types le enseña a diseñar software seguro, resistente y correcto, fácil de mantener y comprender, aprovechando la potencia de los sistemas de tipos fuertes. Diseñado para proporcionar técnicas prácticas y útiles al instante para desarrolladores en activo, este tutorial escrito con claridad le introduce en el uso de los sistemas de tipos para apoyar las tareas de programación cotidianas.

La compra del libro impreso incluye un libro electrónico gratuito en formato PDF, Kindle y ePub de Manning Publications.

Acerca de la tecnología.

Los errores comunes suelen deberse a tipos de datos no coincidentes. Al nombrar y controlar con precisión qué datos son admisibles en un cálculo, un sistema de tipos sólido puede eliminar clases enteras de errores y garantizar la integridad de los datos en toda una aplicación. Como desarrollador, el uso hábil de los tipos en su práctica diaria mejora el código y ahorra tiempo a la hora de localizar errores complicados relacionados con los datos.

Acerca del libro.

Programming with Types enseña técnicas basadas en tipos para escribir software seguro, correcto, fácil de mantener y prácticamente autodocumentado. Diseñado para desarrolladores en activo, este tutorial escrito con claridad se centra en las ventajas prácticas de los sistemas de tipos para las tareas de programación cotidianas. Siguiendo ejemplos reales codificados en TypeScript, desarrollarás tus habilidades desde tipos primitivos hasta conceptos más avanzados como functores y mónadas.

Contenido.

Construcción de estructuras de datos con tipos primitivos, arrays y referencias.

Cómo afectan los tipos a las funciones, la herencia y la composición.

Programación orientada a objetos con tipos.

Aplicación de genéricos y tipos de clase superior.

Acerca del lector.

Necesitarás experiencia con un lenguaje de programación convencional como TypeScript, Java, JavaScript, C# o C++.

Sobre el autor.

Vlad Riscutia es ingeniero principal de software en Microsoft. Ha dirigido varios proyectos de software importantes y es mentor de ingenieros de software prometedores.