Description
The main idea behind this book is to encourage readers to approach
mathematical domains from a functional programming perspective: to
identify the main functions and types involved and, when necessary, to
introduce new abstractions; to give calculational proofs; to pay
attention to the syntax of the mathematical expressions; and, finally,
to organize the resulting functions and types in domain-specific languages.
The book is recommended for developers who are learning mathematics and
would like to use Haskell to make sense of definitions and theorems. It
is also a book for the mathematically interested who wants to explore
functional programming and domain-specific languages. The book helps put
into perspective the domains of Mathematics and Functional Programming
and shows how Computer Science and Mathematics are usefully taught together.
Author: Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy
Publisher: College Publications
Published: 01/05/2022
Pages: 268
Binding Type: Paperback
Weight: 0.84lbs
Size: 9.21h x 6.14w x 0.56d
ISBN13: 9781848903883
ISBN10: 184890388X
BISAC Categories:
- Mathematics | Logic
This title is not returnable