Speeding Through Haskell
by Mihai-Radu Popescu
Publisher: sthaskell.com 2013
Number of pages: 87
Description:
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.
Download or read it online for free here:
Download link
(1MB, PDF)
Similar books
The Haskell Road to Logic, Maths and Programmingby 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.
(16026 views)
Developing Web Applications with Haskell and Yesodby 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.
(9826 views)
Exploring Generic Haskellby 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.
(3404 views)
Write Yourself a Scheme in 48 Hoursby 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.
(13881 views)