
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<meta name="Generator" content="Microsoft Exchange Server">

<!-- converted from text --><style><!-- .EmailQuote { margin-left: 1pt; padding-left: 4pt; border-left: #800000 2px solid; } --></style>

</head>

<body>

<div dir="auto">

<div dir="auto">pdf version?</div>

<div dir="auto"><br>

</div>

<div dir="auto"><br>

</div>

<div dir="auto"><br>

</div>

<div id="x_composer_signature" dir="auto">

<div dir="auto" style="font-size:85%; color:#575757">Sent from a small portable device with limited input capabilities!</div>

</div>

<div dir="auto"><br>

</div>

<div><br>

</div>

<div><br>

</div>

<div>-------- Original message --------</div>

<div>From: Olaf Klinke <olf@aatal-apotheke.de> </div>

<div>Date: 4/9/22 3:46 PM (GMT-06:00) </div>

<div>To: Haskell Café <haskell-cafe@haskell.org> </div>

<div>Subject: [Haskell-cafe] ANN: haskell for mathematicians </div>

<div><br>

</div>

</div>

<font size="2"><span style="font-size:11pt;">

<div class="PlainText">Dear Café, <br>

<br>

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

<a href="https://hub.darcs.net/olf/haskell_for_mathematicians">https://hub.darcs.net/olf/haskell_for_mathematicians</a><br>

<br>

The intended audience of this course is mathematicians. <br>

While there are many (and excellent) introductions <br>

and complete books on Haskell available, most of them target<br>

programmers. <br>

But Haskell, despite being practically useful, <br>

is very good at modelling certain branches of mathematics. <br>

The aim of this course is to supplement the pen-and-paper mathematics <br>

with a more palpable, more interactive variant of exploring <br>

mathematical concepts. <br>

<br>

Each chapter contains exercises and is a self-contained literate<br>

haskell file that requires no package dependencies other than those<br>

included in a basic Haskell installation. <br>

<br>

Selected goodies you can find in Haskell for Mathematicians: <br>

* Constructive topology via domain semantics of Haskell<br>

* Let the compiler verify theorems of intuitionistic logic<br>

* Two implementations of exact real numbers: signed-digit and Conway's<br>

surreal numbers<br>

* Categories (of course!)<br>

* Detailed discussion of mathematical properties of monads such as<br>

commutative and affine monads<br>

* Detailed derivation of a probability measure monad that is actually<br>

affine (unlike sampling-based ones)<br>

<br>

Please use the darcs issue tracker for reporting typos, strange wording<br>

or incaccuracies. Also please don't hesitate to point me to existing<br>

work that might be worth mentioning or incorporating in the monograph. <br>

<br>

Cheers<br>

Olaf<br>

<br>

_______________________________________________<br>

Haskell-Cafe mailing list<br>

To (un)subscribe, modify options or view archives go to:<br>

<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>

Only members subscribed via the mailman list are allowed to post.</div>

</span></font>

</body>

</html>