Skip to 0 minutes and 8 secondsWIM: Hello, and welcome to the sixth and final week of our Haskell Course. You have come a long way in these six weeks, from the very basics of Haskell, all the way to this week where we will discuss some more advanced topics. First, there's type classes. In their 1990s article, the designers of Haskell said that certainly the type system is Haskell's most innovative feature. And we think this is at least in part due to the type classes. And then there is monads, the mystery at the heart of Haskell. Now, what are they, and what is their relationship to type classes? Also, there's the lambda calculus, the mathematical formalism that underlies functional programming.
Skip to 0 minutes and 52 secondsIt was invented by Alonzo Church in the 1930s to answer the question, what does it mean to do computation. All this and much more in this final week of our course. Enjoy.
Welcome to Week 6
In this final week, we will cover some more advanced topics: type classes, the lambda calculus and monads. These are all concepts we have seen before, but we want to understand them in more depth.
We also want to persuade you to continue using Haskell, after the course finishes. At the very least, now you know about functional programming — so you might develop code differently, whatever language you use.
© University of Glasgow