This course targets developers with knowledge in any programming language, but with no or just limited knowledge of Haskell. The course covers all the basics of the Haskell language, the Haskell type system, and the core libraries. The course does not merely show language features, but emphasizes the philosophy of Haskell and functional programming as well. It shows how programmers can use the type system to work for them and let it guide them in writing their programs, and it demonstrates how to systematically structure code (both with and without side-effects) in a language like Haskell.

Haskell being the prime example of a well-designed purely functional programming language, this course is also excellent for people who are generally interested in functional programming, but want to apply concepts of functional programming in other languages such as for example Scala or F#.

This 16-hour course will be split over four UK mornings (09:00 to 13:00 GMT) on 4th-7th November 2019. It will be delivered using the Google Meet video conferencing platform. This course will be a mixture of lectures, discussions and live coding. The maximum course size is deliberately kept small so that it is still possible to ask and discuss individual questions.

This course includes:

A Quick Tour of Haskell

• An overview of all important Haskell concepts

Type-directed Programming

• Pattern matching and function definitions
• Basic datatypes: lists, Bool, tuples, Maybe
• Defining new datatypes
• Haskell syntax

Polymorphism and higher-order functions

• Parametric polymorphism
• Overloading and type classes
• Basic type classes: Eq, Ord, Show, Read
• Numeric types and classes
• Higher-order functions: filter, map, …
• Composing functions
• Abstracting from design patterns: foldr, foldl, …
• The Functor class
• Haskell module system
• Finite maps and sets

Input/Output

• How to model side effects in Haskell
• The IO type
• Composing IO actions
• How to separate IO code from “pure” code
• do notation
• IO-based libraries (random numbers, file IO, …)
• Derived high-level IO functions

Applicative Functors and Monads

• Abstracting from common patterns
• How Maybe-based code can be simplified
• How explicit state passing can be modelled
• The Monad class
• More monad examples
• IO as a monad
• Library functions on monads

About the teacher

Andres Löh has more than 20 years of Haskell experience, and more than 15 years of teaching experience. He has taught many courses on all things Haskell, including a type-level programming course at the Summer School on Generic and Effectful Programming. He helped establish the Utrecht Summer School on Applied Functional Programming and IOHK’s course on Haskell and Cryptocurrencies. He is a co-author or contributor to various packages that involve type-level programming, including generics-sop and servant. He has a PhD from Utrecht University.

Ticket Price

Tickets are GBP 780 including UK VAT (GBP 650 excluding VAT). If you are purchasing a ticket on behalf of a VAT-registered EU business, please enter your VAT number in the registration form to pay VAT in your country via the reverse charge mechanism.

Cancellation Policy

If you are unable to attend after purchasing a ticket, please request a refund through Eventbrite; we will consider requests on a case-by-case basis and respond within 5 working days. The Eventbrite fee included in the ticket price is nonrefundable, unless the course is cancelled entirely.

There is no minimum number of participants for the course. If unforeseen circumstances prevent Andres Löh from being able to deliver the course, we will endeavour to run the course with another experienced Haskell teacher from Well-Typed. In the unlikely event that we have to cancel the course, you will receive a refund or a replacement course at a different time.

If you have any queries or require further information please email info@well-typed.com.