• Title: The Haskell Road to Logic, Maths and Programming
• Author(s) Kees Doets, van Jan Eijck
• Publisher: College Publications;
• Paperback: 444 pages
• eBook: PDF, 449 pages, 1.4 MB
• Language: English
• ISBN-10: 0954300696
• ISBN-13: 978-0954300692
• Share This:  

Book Description

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.

Haskell emerged in the last decade as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Functional programming is a form of descriptive programming, very different from the style of programming that you find in prescriptive languages like C or Java. Haskell is based on a logical theory of computable functions called the lambda calculus.

• N/A

• Amazon

• Haskell Programming
• Functional Programming
• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Computer and Programming Languages
• Computer Science

• The Haskell Road to Logic, Maths and Programming (Kees Doets, van Jan Eijck)
• The Mirror Site (1) - PDF
• The Solutions for all the Problems in the Book
• Book Homepage (Source Code, Other Formats, etc.)

• Exploring Generic Haskell (Andres Loh)

  This unlocks a new level of skill with this challenging Haskell programming language. Going beyond the basics of syntax and structure, this book opens up critical topics like advanced types, concurrency, and data processing.

• O'Reilly® Developing Web Applications with Haskell and Yesod

  This book is a fast-moving guide to web application development with Haskell and Yesod, a potent language/framework combination that supports high-performing applications that are modular, type-safe, and concise.

• O'Reilly® Real World Haskell (Bryan O'Sullivan, et al)

  This easy-to-use, fast-moving tutorial introduces you to functional programming with Haskell. You'll learn how to use Haskell in a variety of practical ways, from short scripts to large and demanding applications.

• The Haskell School of Music - From Signals to Symphonies

  This book explores the fundamentals of computer music and functional programming through the Haskell. It explores common paradigms used in algorithmic music composition, such as stochastic generation, musical grammars, etc.

• Learn You a Haskell for Great Good! (Miran Lipovaca)

  Packed with the author's original artwork, pop culture references, and most importantly, useful example code, this book teaches functional fundamentals in a way you never thought possible.

• Haskell (Wikibooks)

  This book leads you through short lessons, examples, and exercises designed to make Haskell your own. It also explores the important language features and programming skills you'll need to build production-quality software using Haskell.

• Yet Another Haskell Tutorial (Hal Daume III )

  The goal of this book is to provide a complete intoduction to the Haskell programming language. It assumes no knowledge of the Haskell language or familiarity with functional programming in general.

• Game Programming in Haskell (Elise Huard, et al.)

  This book gives an introduction on how to write a game in Haskell. It is a practical book with code examples and pointers to open source code repositories. The aim is to get the readers to develop their own game as painlessly as possible.

• Happy Learn Haskell Tutorial (GetContented)

  This book provides a tutorial to get started using Haskell and takes a no-prerequisites approach to teaching the basics of Haskell programming language. Using quirky cartoons and practical programs, making programming fun and keeping it interesting!

• Haskell: Functional Programming with Types (Joeri van Eekelen)

  In this book, we aim to introduce you both to the Haskell language, from the very basics to its most advanced features, and to computer programming in general - programming through the warped and mathematical mindset of a functional programmer.

• Haskell Tutorial for C Programmers (Eric Etheridge)

  This book is written to introduce Haskell for programmers of imperative languagues, including C, C++, Java, Python, and Pascal, etc. Haskell is is very different and you cannot simply pick it up.

• Anatomy of Programming Languages (William R. Cook)

  This book is a series of notes about programming languages, originally written for students of the undergraduate programming languages course. It uses Haskell, a pure functional language.

• Write You a Haskell: Building a Modern Functional Compiler

  We will build a small functional language called Fun which is a partial Haskell toy language. The knowledge to build such a modern functional language is not widely disseminated among many programmers.

• Programming in Haskell (Graham Hutton)

  This introduction is ideal for beginners: it requires no previous programming experience and all concepts are explained from first principles via carefully chosen examples. The presentation is clear and simple, and benefits from having class-tested over several years.

• Learn Haskell Fast and Hard - Blow your mind with Haskell

  A short and dense tutorial for learning Haskell. This text will certainly be hard to follow. This is on purpose. There is no shortcut to learning Haskell. It is hard and challenging. But I believe this is a good thing. It is because it is hard that Haskell is interesting.

• Natural Language Processing for the Haskell Programmer

  This book is a guide to the wonderful world of language processing for the practical working programmer, using Haskell. It is about that type of information - techniques that so-called computational linguists use to analyze the structure of human language.

• A Gentle Introduction To Haskell (Paul Hudak, et al.)

  You will get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry.

• Speeding Through Haskell (Mihai-Radu Popescu)

  Haskell is a lot more mathematically rigorous than other programming languages. This is a book that will show you around the Haskell programming language. It assumes you are familiar at least one other programming language.