Domain-Specific Languages of Mathematics

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.

Product details

• Authors: Jean-Philippe Bernardy, Cezar Ionescu, Patrik Jansson
• Publisher: College Publications
• Languages: English
• Product format: Paperback / Softback
• Released: 05.01.2022
• EAN: 9781848903883
• ISBN: 978-1-84890-388-3
• No. of pages: 268
• Dimensions: 156 mm x 234 mm x 15 mm
• Weight: 412 g
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles