Haskell Tutorial

This is going to be an introductory tutorial to the Haskell language, assuming some general programming knowledge, but no particular knowledge about Haskell.

Haskell is a large language, and one cannot really learn it in a 90 minutes tutorial. However, we’ll try to build a small example web backend application (either a web client or a web server, I haven’t decided yet), and we’ll see the most important Haskell features along the way:

• easy-to-define domain-specific datatypes,
• functions defined by means of pattern matching and/or by applying higher-order functions,
• explicit (side) effects, visible in the types of functions,
• the power of polymorphic types,
• … and a little bit of lazy evaluation.

Along the way, we’ll also use a few common libraries, such as e.g. for http or JSON encoding / decoding.

Andres Löh

https://functional.cafe/@kosmikus / kosmikus.bsky.social / kosmikus

Andres Löh is a Haskell consultant and co-owner of Well-Typed LLP. He is based in Regensburg, Germany. He started using Haskell in 1997, when being an undergraduate student of mathematics in Konstanz, and has been an enthusiastic functional programmer ever since. Andres obtained a PhD in Computer Science from Utrecht University in 2004, on extending the Haskell language with capabilities for datatype-generic programming. After having been a university lecturer for several years, he joined Well-Typed in 2010.

Andres is very interested in applying functional programming to real-world problems, and in particular in datatype-generic programming, staging and metaprogramming, domain-specific languages, (dependent) type systems, and proving programs correct.