Ambos libros utilizan OCaml como base para enseñar la programación funcional, proporcionando un enfoque práctico y aplicado en el contexto de un lenguaje específico.
Software Construction in OCaml
por Michael R. Clarkson · 2015
Ver sugerenciasSinopsis
Un libro de texto que enseña los principios de la construcción de software con el lenguaje OCaml, centrándose en el uso de tipos de datos, polimorfismo y módulos.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este libro introduce conceptos fundamentales de OCaml, alineándose con la enseñanza de tipos de datos y estructuras que se aborda en Software Construction.
Aunque usa Standard ML, comparte el enfoque en los tipos de datos y estructuras inmutables, que son temas centrales en la construcción de software en OCaml.
Explora la programación funcional de forma declarativa y matemática, similar al enfoque riguroso que Clarkson aplica en la construcción de software con OCaml.
Programación funcional puramente. Diseño de programas y razonamiento en Standard ML
Chris Reade
1989·divulgacion
Se centra en principios de programación funcional como el diseño y razonamiento de programas, resonando con la filosofía de uso de tipos en OCaml.
Introduce conceptos fundamentales de programación funcional que sostienen la construcción de programas correctos, similar al énfasis de Clarkson en los tipos y módulos.