Lenguajes matemáticos específicos

Título original:

Domain-Specific Languages of Mathematics

Contenido del libro:

La idea principal de este libro es animar a los lectores a abordar.

dominios matemáticos desde una perspectiva de programación funcional: para.

Identificar las principales funciones y tipos implicados y, cuando sea necesario,.

Introducir nuevas abstracciones; dar pruebas de cálculo; prestar.

Prestar atención a la sintaxis de las expresiones matemáticas y, por último,.

Organizar las funciones y tipos resultantes en lenguajes específicos del dominio.

El libro está recomendado para desarrolladores que estén aprendiendo matemáticas y.

Les gustaría usar Haskell para dar sentido a definiciones y teoremas. Es.

También es un libro para los interesados en las matemáticas que quieran explorar.

La programación funcional y los lenguajes de dominio específico. El libro ayuda a poner.

en perspectiva los dominios de las Matemáticas y la Programación Funcional.

Y muestra cómo las Ciencias de la Computación y las Matemáticas se enseñan útilmente juntas.