Introduction to Haskell (BSc.)

Course information

The Haskell Interpreter

Numbers | Conversions | Bool | Lists | List Comprehensions

Basic Language Constructs

Definitions | Pattern Matching | Recursion | Guards | where

Additional

Diagrams

Functional Languages (MSc)

Course information

Updates:

• No updates yet.

Topics:

• Haskell basics, function definitions

  Mandatory reading:
  • learnyouahaskell.com Section “So what’s Haskell?”
  • learnyouahaskell.com Section “Baby’s first functions”
  Further reading:
  • Real World Haskell Chapter “Types and Functions”

• Base types, tuples, function types

  Mandatory reading:
  • learnyouahaskell.com Section “Believe the type”
  • learnyouahaskell.com Section “Tuples”

• Lists

  Mandatory reading:
  • learnyouahaskell.com Section “An intro to lists”
  • learnyouahaskell.com Section “Texas ranges”
  • learnyouahaskell.com Section “I’m a list comprehension”

• Pattern matching

  Mandatory reading:
  • learnyouahaskell.com Section “Pattern matching”
  Further reading:
  • Real World Haskell Section “Pattern matching”

• Recursion

  Mandatory reading:
  • learnyouahaskell.com Section “Guards, guards!”
  • learnyouahaskell.com Section “Hello recursion!”
  • learnyouahaskell.com Section “Maximum awesome”
  • learnyouahaskell.com Section “A few more recursive functions”
  • learnyouahaskell.com Section “Thinking recursively”
  Further reading:
  • Real World Haskell Section “How to think about loops”

• Polymorhism

  Mandatory reading:
  • learnyouahaskell.com Section “Type variables”
  Further reading:
  • Real World Haskell Section “Polymorphism in Haskell”

• Lambda functions, higher order functions

  Mandatory reading:
  • learnyouahaskell.com Section “Curried functions”
  • learnyouahaskell.com Section “Maps and filters”
  • learnyouahaskell.com Section “Lambdas”
  Further reading:
  • Real World Haskell Section “Transforming every piece of input”
  • Real World Haskell Section “Mapping over a list”
  • Real World Haskell Section “Selecting pieces of input”
  • Real World Haskell Section “Why use folds, maps, and filters?”

• Defining new data types

  Mandatory reading:
  • learnyouahaskell.com Section “Algebraic data types”
  Further reading:
  • Real World Haskell Section “Defining a new data type”

• Defining parametric data types

  Mandatory reading:
  • learnyouahaskell.com Section “Type parameters”

• Typeclasses

  Mandatory reading:
  • learnyouahaskell.com Section “Typeclasses 101”
  • learnyouahaskell.com Section “Typeclasses 102”

Previous materials for Functional Languages (MSc)

• Expressions and Types
• Function Definitions
• Data Type Definitions
• Type Classes
• Monadic Programming
• I/O

Additional Information

Haskell Warmup

Haskell Blog Posts

Agda