Introduction to functional programming in Haskell

This is material for an introduction to functional programming on Haskell, with a focus on monads. It was originally created for a series of 4 talks (~360 minutes) that were held in the context of a lecture on semantics by Roland Meyer and Jürgen Koslowski at Technische Universität Braunschweig in the summer of 2018.

Semantics - Summer 2018 @ Technische Universität Braunschweig

Lecture material

• Syllabus

• Literature

• Notes on the history of functional programming and Haskell

• Exercise Sheet 1

  (Code snippets, Solution)

• Exercise Sheet 2

  (Code snippets, Solution)

• Code examples / explanation (see below)

Code examples / Explanation

Basic

1. Values and types

2. Functions

3. Lists

Advanced concepts

4. Higher-order functions

5. Types

6. Type classes

7. Lazy evaluation

8. The pitfalls of type inference

Monads

9. IO in functional languages

10. Monads

11. do notation

    • (Code examples)

12. Examples of monads

13. Parsing using monads

14. The monads State and ST

Note: The code has been tested using GHC version 8.10.7 on Windows 10 version 21H2.

License

Copyright 2022 Sebastian Muskalla

Published under the MIT License, see LICENSE