Facility Verification
Please verify the inmate's facility before purchasing.
This Publication is Restricted at this Facility.
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