
Domain-Specific Languages of Mathematics
College Publications (Publisher)
Published on 5. January 2022
Book
Paperback/Softback
268 pages
978-1-84890-388-3 (ISBN)
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.
More details
Language
English
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 15 mm
Weight
412 gr
ISBN-13
978-1-84890-388-3 (9781848903883)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification