Haskell programming in plain view

IntroductionEdit

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


ApplicationsEdit

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


Using GHCiEdit

  • Getting started (pdf)


Using LibrariesEdit




TypesEdit

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

FunctionsEdit

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

ExpressionsEdit

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



Lambda CalculusEdit

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



Function Oriented TypeclassesEdit

FunctorsEdit

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

ApplicativesEdit

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

Monads I : BackgroundEdit

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

Monads II : State Transformer MonadsEdit

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

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

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

MonoidEdit

ArrowEdit


PolymorphismEdit

  • Polymorphism Overview (pdf)


Concurrent HaskellEdit



go to [ Electrical_&_Computer_Engineering_Studies ]

External linksEdit