Haskell programming in plain view

Introduction

Overview I (pdf)
Overview II (pdf)
Overview III (pdf)
Overview IV (pdf)
Overview V (pdf)

Applications

Sudoku Background (pdf)
Bird's Implementation

- Specification (pdf)

- Rules (pdf)

- Pruning (pdf)

- Expanding (pdf)

Using GHCi

Getting started (pdf)

Using Libraries

Library (pdf)

Types

Constructors (pdf)
TypeClasses (pdf)
Types (pdf)
Primitive Types (pdf)
Polymorphic Types (pdf)

Functions

Functions (pdf)
Operators (pdf)
Continuation Passing Style (pdf)

Expressions

Expressions I (pdf)
Expressions II (pdf)
Non-terminating Expressions (pdf)

Lambda Calculus

Lambda Calculus - informal description (pdf)
Lambda Calculus - Formal definition (pdf)
Expression Reduction (pdf)
Normal Forms (pdf)
Encoding Datatypes

- Church Numerals (pdf)

- Church Booleans (pdf)

- Functions (pdf)

- Combinators (pdf)

- Recursions (pdf)

Function Oriented Typeclasses

Functors

Functor Overview (pdf)
Function Functor (pdf)
Functor Lifting (pdf)

Applicatives

Applicatives Overview (pdf)
Applicatives Methods (pdf)
Function Applicative (pdf)
Applicatives Sequencing (pdf)

Monads I : Background

Side Effects (pdf)
Monad Overview (pdf)
Monadic Operations (pdf)
Maybe Monad (pdf)
IO Actions (pdf)
Several Monad Types (pdf)

Monads II : State Transformer Monads

State Transformer

- State Transformer Basics (pdf)

- State Transformer Generic Monad (pdf)

- State Transformer Monads (pdf)

State Monad

- State Monad Basics (pdf)

- State Monad Methods (pdf)

- State Monad Examples (pdf)

Monads III : Mutable State Monads

Mutability Background

- Inhabitedness (pdf)

- Existential Types (pdf)

- forall Keyword (pdf)

- Mutability and Strictness (pdf)

- Strict and Lazy Packages (pdf)

Mutable Objects

- Mutable Variables (pdf)

- Mutable Data Structures (pdf)

IO Monad

- IO Monad Basics (pdf)

- IO Monad Methods (pdf)

- IORef Mutable Variable (pdf)

ST Monad

- ST Monad Basics (pdf)

- ST Monad Methods (pdf)

- STRef Mutable Variable (pdf)

Monads IV : Reader and Writer Monads

Function Monad (pdf)
Monad Transformer (pdf)
MonadState Class

- State & StateT Monads (pdf)

- MonadReader Class (pdf)

MonadReader Class

- Reader & ReaderT Monads (pdf)

- MonadReader Class (pdf)

Control Monad (pdf)

Monoid

Monoids (pdf)

Arrow

Arrows (pdf)

Polymorphism

Polymorphism Overview (pdf)

Concurrent Haskell

go to [ Electrical_&_Computer_Engineering_Studies ]

External links