[Haskell-cafe] Release a book about math and programming in Haskell

[Damien Mattei]

Hello, as i say it in a private message this is really a great book!

the only thing i noticed parcouring (? french word) it is that there should
be a lot more programming examples to be both a Math (already) and
Programming book.

Regards,

Damien

On Mon, Oct 19, 2020 at 10:13 AM Xinyu LIU <liuxinyu95 at gmail.com> wrote:

> Hi,
>
> I recently released a book about mathematics and programming in github:
> https://github.com/liuxinyu95/unplugged
>
> I mainly provide examples, and code snippets in Haskell. The PDF can be
> downloaded under GNU FDL license.
>
> There are 7 chapters together with 108 problems as exercise. I also
> included all the answers in the appendix. Here are the table of content:
>
> Preface - A story about isomorphism.
> Chapter 1, Natural numbers. Peano Axiom, list and folding;
> Chapter 2, Recursion. Euclidean algorithm, Lambda calculus, and
> Y-combinator;
> Chapter 3, Symmetry. Group, Ring, and Field. Galois Theory;
> Chapter 4, Category theory and type system;
> Chapter 5, Deforest. Build-fold fusion law, optimization, and algorithm
> deduction;
> Chapter 6, Infinity. Set theory, Infinity and stream;
> Chapter 7, Logic paradox, Gödel's incompleteness theorems, and Turing
> halting problem.
> Answers to the exercise.
>
> Xinyu LIU
> https://github.com/liuxinyu95/unplugged
>
> *e*^(*π*i)+1 = 0
> _______________________________________________
> 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/20201021/b563c43e/attachment.html>