Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCollege Publications
ISBN-10184890388X
ISBN-139781848903883
eBay Product ID (ePID)18057290533
Product Key Features
Number of Pages268 Pages
Publication NameDomain-Specific Languages of Mathematics
LanguageEnglish
SubjectLogic
Publication Year2022
TypeTextbook
AuthorPatrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy
Subject AreaMathematics
FormatTrade Paperback
Dimensions
Item Height0.6 in
Item Weight13.5 Oz
Item Length9.2 in
Item Width6.1 in
Additional Product Features
Intended AudienceTrade
SynopsisThe 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.