Skip main navigation
We use cookies to give you a better experience, if that’s ok you can close this message and carry on browsing. For more info read our cookies policy.
We use cookies to give you a better experience. Carry on browsing if you're happy with this, or read our cookies policy for more information.

Skip to 0 minutes and 8 secondsWIM VANDERBAUWHEDE: Hi, and welcome to week five of the Haskell course. As Larry Wall once said, one of the main virtues of the programmer is laziness. Laziness is also a key feature of Haskell. And this week, you will learn what laziness and strictness really mean. So far, we have used types in our programs but we have actually glossed over the details. And in Haskell, types are a really essential part of the language and the type system is very powerful. This week, you will learn about function types, type variables, and type classes. We will also show you Haskell can infer the types of expressions in a program so that you don't have to provide the type information for every single expression.

Skip to 0 minutes and 53 secondsEnjoy and see you next week.

Welcome to Week 5

This week, we are going to explore some of Haskell’s features that make it so distinctive, as a programming language. These include laziness, infinite data structures and type inference.

We will also review Haskell deployments in the real world, when we meet Katie Ots from Facebook.

Share this video:

This video is from the free online course:

Functional Programming in Haskell: Supercharge Your Coding

University of Glasgow

Get a taste of this course

Find out what this course is like by previewing some of the course steps before you join:

  • Brief History of Haskell
    Brief History of Haskell
    article

    What are the origins of the Haskell programming language? In this article, Dr Jeremy Singer explores the history of Haskell.

Contact FutureLearn for Support