Descripción
La idea principal detrás de este libro es animar a los lectores a abordar
dominios matemáticos desde una perspectiva de programación funcional: identificar
las principales funciones y tipos involucrados y, cuando sea necesario,
introducir nuevas abstracciones; ofrecer pruebas de cálculo; prestar
atención a la sintaxis de las expresiones matemáticas; y, finalmente,
organizar las funciones y tipos resultantes en lenguajes específicos de dominio.
El libro está recomendado para desarrolladores que están aprendiendo matemáticas y
desearían usar Haskell para dar sentido a las definiciones y teoremas. También
es un libro para el interesado en las matemáticas que desea explorar
la programación funcional y los lenguajes específicos de dominio. El libro ayuda a
poner en perspectiva los dominios de las Matemáticas y la Programación Funcional
y muestra cómo la Informática y las Matemáticas se enseñan útilmente juntas.
Autor: Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy
Editorial: College Publications
Publicado: 01/05/2022
Páginas: 268
Tipo de encuadernación: Tapa blanda
Peso: 0.84 lbs
Tamaño: 9.21h x 6.14w x 0.56d
ISBN13: 9781848903883
ISBN10: 184890388X
Categorías BISAC:
- Matemáticas | Lógica
Este título no es retornable

