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




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

Arrow


Polymorphism

  • Polymorphism Overview (pdf)


Concurrent Haskell



go to [ Electrical_&_Computer_Engineering_Studies ]

This article is issued from Wikiversity. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.