Speeding Through Haskell
by Mihai-Radu Popescu
Publisher: sthaskell.com 2013
Number of pages: 87
Haskell is a lot more mathematically rigorous than other programming languages, which means that programs can be proven to be correct. This is a book that will show you around the Haskell programming language. If you're not already familiar (or too familiar) with programming in another language, you might need to put in extra work.
Home page url
Download or read it online for free here:
by Kees Doets, Jan van Eijck - College Publications
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.
by Michael Snoyman - O'Reilly Media
This fast-moving guide introduces web application development with Haskell and Yesod, a combination that supports high-performing applications. You will explore the way Yesod handles widgets, forms, persistence, and RESTful content.
by Andres Loh - Febodruk
'Exploring Generic Haskell' gives a complete overview of the language, systematically explains the core features of Generic Haskell, and several extensions, and provides detailed examples on how the features can be implemented.
by Jonathan Tang - Wikibooks
You'll start off with command-line arguments and parsing, and progress to writing a fully-functional Scheme interpreter that implements a good-sized subset of R5RS Scheme. Along the way, you'll learn Haskell's I/O, mutable state and dynamic typing.