[Haskell-cafe] Magical Haskell book preview: Haskell and type theory in pictures and in a fun and accessible way

[Anton Antich]

Dear all,

I started "Magical Haskell" 3 years ago with the goal to fill the void of
explaining typed functional programming from the first principles, but in a
fun and accessible way. Imperative patterns really mess with learning
Haskell, while alternative top-down approaches are usually too
technical and math-heavy, so that the beauty and elegance of the concepts
involved is lost on many. So I tried to use the latter, but build it up
gradually, from intuition and functional thinking, so that a high school
student could understand.

Now the book is about 50% ready as I came back to writing it after a
sabbatical break, now covers the foundations, functional thinking,
different types, typeclasses, and specific examples gently building up from
Maybe and List through Monoid and up to Functor and Bifunctor. Applicative,
Monad and real world programs via Monad Transformer Stacks are coming up.

It is available here: https://leanpub.com/magicalhaskell - free to read
online.

Would very much appreciate your feedback - what is missing, what do you
think of such a style, what is maybe too much, etc. Also, if anyone is
ready to contribute a public testimonial - will gladly give a free copy of
the ebook and all future updates in offline formats!

Thank you very much!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210826/49c52aa1/attachment.html>