Haskell programming in plain view

Introduction

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


Applications

edit
  • Sudoku Background (pdf)
  • Bird's Implementation
- Specification (pdf)
- Rules (pdf)
- Pruning (pdf)
- Expanding (pdf)


Using GHCi

edit
  • Getting started (pdf)


Using Libraries

edit




Types

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

Functions

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

Expressions

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



Lambda Calculus

edit
  • 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

edit

Functors

edit
  • Functor Overview (pdf)
  • Function Functor (pdf)
  • Functor Lifting (pdf)

Applicatives

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

Monads I : Background

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

Monads II : State Transformer Monads

edit
  • 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

edit
  • 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

edit
  • 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

edit

Arrow

edit


Polymorphism

edit
  • Polymorphism Overview (pdf)


Concurrent Haskell

edit



go to [ Electrical_&_Computer_Engineering_Studies ]

edit