Given the success of introducing an online version of our “Type level programming with GHC” course, we’re offering this again alongside two of our other courses: “Compact Introduction to Haskell” and “Performance and Optimisation”. These courses are now available to book online on a first come, first served basis. If you want to book a ticket but they have sold out, please sign up to the waiting list, in case one becomes available.
Training course details
All of these courses will be a mixture of lectures, discussions and live coding delivered via Google Meet. The maximum course size is deliberately kept small (up to 8 participants) so that it is still possible to ask and discuss individual questions. These will be delivered by Andres Löh, who has more than two decades of Haskell experience and has taught many courses to varied audiences.
Type-level Programming with GHC
An overview of Haskell language extensions designed for type-level programming and expressing more properties of your programs statically
14-15th October 2019, 0900-1300 BST (2 sessions, each 4 hours)
- Find out more about the course or book a ticket
- Costs GBP 390 including VAT (GBP 325 excluding VAT)
Haskell Performance and Optimisation
Lambda calculus and GHC’s Core language, reasoning about evaluation, space leaks and optimisations
22-23rd October 2019, 0900-1300 BST (2 sessions, each 4 hours)
- Find out more about the course or book a ticket
- Costs GBP 390 including VAT (GBP 325 excluding VAT)
Compact Introduction to Haskell
Functional programming with Haskell from scratch up to applicative functors and monads
4-7th November 2019, 0900-1300 GMT (4 sessions, each 4 hours)
- Find out more about the course or book a ticket
- Costs GBP 780 including VAT (GBP 650 excluding VAT)
Other Well-Typed training courses
If you are interested in the format, but not the topic or cannot make the time, feel free to drop us a line with requests for courses on other topics or at other times. We can also do courses on-site for your company, on the topics you are most interested in and individually tailored to your needs. Check out more detailed information on our training services or just contact us.