Desarrollo basado en tipos con Idris

Puntuación:   (4,8 de 5)

Desarrollo basado en tipos con Idris (Edwin Brady)

Opiniones de los lectores

Resumen:

El libro sobre Idris ofrece una atractiva introducción al desarrollo basado en tipos y al lenguaje de programación Idris. Los lectores lo encuentran útil para comprender los sistemas de tipos avanzados y aprecian sus explicaciones claras. Sin embargo, algunos usuarios tienen dificultades con la documentación y la instalación, lo que puede dificultar la experiencia de aprendizaje.

Ventajas:

Contenido atractivo que invita a la reflexión y que cambia las perspectivas sobre la programación y los sistemas de tipos.
Tutorial bien escrito que es beneficioso para el aprendizaje de Idris y el desarrollo basado en tipos.
El autor es el creador de Idris, proporcionando una perspectiva desde dentro.
Enfatiza la importancia de la tipado fuerte y la seguridad en la programación.
Presentación clara de conceptos complejos al alcance de lectores con experiencia en programación funcional.

Desventajas:

Falta de una guía de instalación y documentación completa, lo que conlleva dificultades para los nuevos usuarios.
Algunos lectores encuentran el lenguaje poco común y pueden desanimarse por la limitada demanda en el mercado laboral.
Puede no ser adecuado para principiantes completos debido a los temas avanzados tratados.
Se señalan posibles problemas en cuanto a su preparación para la producción, y se advierte a los usuarios sobre su uso en proyectos reales.

(basado en 11 opiniones de lectores)

Título original:

Type-Driven Development with Idris

Contenido del libro:

Resumen

Type-Driven Development with Idris, escrito por el creador de Idris, te enseña a mejorar el rendimiento y la precisión de tus programas aprovechando un sistema de tipos de última generación. Este libro le enseña con Idris, un lenguaje diseñado para soportar el desarrollo dirigido por tipos.

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

Acerca de la tecnología

Deje de luchar contra los errores tipográficos El desarrollo basado en tipos es un enfoque de la codificación que adopta los tipos como base del código, básicamente como documentación incorporada que el compilador puede utilizar para comprobar las relaciones entre datos y otras suposiciones. Con este enfoque, puedes definir las especificaciones al principio del desarrollo y escribir código fácil de mantener, probar y ampliar. Idris es un lenguaje tipo Haskell con tipos dependientes de primera clase que es perfecto para aprender técnicas de programación basadas en tipos que puedes aplicar en cualquier código.

Acerca del libro

Type-Driven Development with Idris le enseña cómo mejorar el rendimiento y la precisión de su código aprovechando un sistema de tipos de última generación. En este libro, usted aprenderá el desarrollo basado en tipos de software del mundo real, así como la forma de manejar los efectos secundarios, la interacción, el estado y la concurrencia. Al final, serás capaz de desarrollar software robusto y verificado en Idris y aplicar métodos de desarrollo basados en tipos a otros lenguajes.

Contenido

⬤ Entendiendo los tipos dependientes.

⬤ Tipos como construcciones de lenguaje de primera clase.

⬤ Tipos como guía para la construcción de programas.

⬤ Expresión de relaciones entre datos.

Acerca del lector

Escrito para programadores con conocimientos de conceptos de programación funcional.

Sobre el autor

Edwin Brady dirige el diseño y la implementación del lenguaje Idris.

Tabla de Contenidos

PARTE 1 - INTRODUCCIÓN.

⬤ Descripción general.

⬤ Cómo empezar con IdrisPARTE 2 - CORE IDRIS.

⬤ Desarrollo interactivo con tipos.

⬤ Tipos de datos definidos por el usuario.

⬤ Programas interactivos: procesamiento de entrada y salida.

⬤ Programación con tipos de primera clase.

⬤ Interfaces: uso de tipos genéricos restringidos.

⬤ Igualdad: expresión de relaciones entre datos.

⬤ Predicados: expresión de suposiciones y contratos en tipos.

⬤ Vistas: ampliando la concordancia de patrones.

PARTE 3 - IDRIS Y EL MUNDO REAL.

⬤ Streams y procesos: trabajando con datos infinitos.

⬤ Escribiendo programas con estado.

⬤ Máquinas de estado: verificando protocolos en tipos.

⬤ Máquinas de estado dependientes: manejo de retroalimentación y errores.

⬤ Programación concurrente segura en tipos.

Otros datos del libro:

ISBN:9781617293023
Autor:
Editorial:
Encuadernación:Tapa blanda
Año de publicación:2017
Número de páginas:480

Compra:

Actualmente disponible, en stock.

¡Lo compro!

Otros libros del autor:

Desarrollo basado en tipos con Idris - Type-Driven Development with Idris
Resumen Type-Driven Development with Idris, escrito por el creador de Idris, te...
Desarrollo basado en tipos con Idris - Type-Driven Development with Idris

Las obras del autor han sido publicadas por las siguientes editoriales:

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.11.14 07:32 (GMT)