[Haskell-cafe] ANN: haskell for mathematicians

[Gregory Guthrie]

pdf version?



Sent from a small portable device with limited input capabilities!



-------- Original message --------
From: Olaf Klinke <olf at aatal-apotheke.de>
Date: 4/9/22 3:46 PM (GMT-06:00)
To: Haskell Café <haskell-cafe at haskell.org>
Subject: [Haskell-cafe] ANN: haskell for mathematicians

Dear Café,

my monograph "Haskell for Mathematicians" has found a home online:
https://hub.darcs.net/olf/haskell_for_mathematicians

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
programmers.
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.

Cheers
Olaf

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220409/ff651b2c/attachment.html>