Haskell programming in plain view

From Wikiversity
Jump to navigation Jump to search

Introduction[edit | edit source]

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


Applications[edit | edit source]

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


Using GHCi[edit | edit source]

  • Getting started (pdf)


Using Libraries[edit | edit source]




Types[edit | edit source]

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

Functions[edit | edit source]

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

Expressions[edit | edit source]

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



Lambda Calculus[edit | edit source]

  • 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)
- Recursions (pdf)



Function Oriented Typeclasses[edit | edit source]

Functors[edit | edit source]

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

Applicatives[edit | edit source]

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

Monads I : Background[edit | edit source]

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

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

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

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

Arrow[edit | edit source]


Polymorphism[edit | edit source]

  • Polymorphism Overview (pdf)


Concurrent Haskell[edit | edit source]



go to [ Electrical_&_Computer_Engineering_Studies ]

External links[edit | edit source]