[Haskell-cafe] ANN: haskell for mathematicians

Olaf Klinke olf at aatal-apotheke.de
Sat Apr 9 20:45:56 UTC 2022

Dear Café, 

my monograph "Haskell for Mathematicians" has found a home online: 

The intended audience of this course is mathematicians. 
While there are many (and excellent) introductions 
and complete books on Haskell available, most of them target
But Haskell, despite being practically useful, 
is very good at modelling certain branches of mathematics. 
The aim of this course is to supplement the pen-and-paper mathematics 
with a more palpable, more interactive variant of exploring 
mathematical concepts. 

Each chapter contains exercises and is a self-contained literate
haskell file that requires no package dependencies other than those
included in a basic Haskell installation. 

Selected goodies you can find in Haskell for Mathematicians: 
* Constructive topology via domain semantics of Haskell
* Let the compiler verify theorems of intuitionistic logic
* Two implementations of exact real numbers: signed-digit and Conway's
surreal numbers
* Categories (of course!)
* Detailed discussion of mathematical properties of monads such as
commutative and affine monads
* Detailed derivation of a probability measure monad that is actually
affine (unlike sampling-based ones)

Please use the darcs issue tracker for reporting typos, strange wording
or incaccuracies. Also please don't hesitate to point me to existing
work that might be worth mentioning or incorporating in the monograph. 


More information about the Haskell-Cafe mailing list