Type-Driven Development with Idris
por Edwin Brady · 2017
Ver sugerenciasSinopsis
Introduce la programación basada en tipos dependientes utilizando el lenguaje Idris, demostrando cómo los tipos pueden usarse no solo para la verificación, sino para guiar y construir programas correctos por construcción.
Sé el primero en valorar este libro.
Más de Edwin Brady
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.