Many of us at Well-Typed enjoyed travelling to Zurich earlier this year for ZuriHac 2023 and the GHC Contributors’ Workshop. Thanks to the organisers of both these events, and to all those who attended for the great discussions.

The videos of our sessions as well as the materials used in them are available online, so those who could not attend can watch the talks by following the links below.

ZuriHac Workshop: Lazy Evaluation by Andres Löh

Watch video on YouTube | Slides | Code repository

As in previous years, Well-Typed were happy to support ZuriHac by offering a free training workshop:

In this workshop, we are going to take a deep dive into lazy evaluation, looking at several examples and reasoning about how they get evaluated. The goal is to develop a strong understanding of how Haskell’s evaluation strategy works. Hopefully, we will see why laziness is a compelling idea with a lot of strong points, while also learning how some common sources of space leaks can be avoided.

The workshop will be accessible to anyone who has mastered the basics of Haskell and is looking to understand the language in more depth, whether they are a student or professional developer. We are not going to use any advanced features of the language, and you do not have to be a Haskell expert to attend!

Check out the ZuriHac 2023 YouTube playlist for more great talks from ZuriHac.

GHC Contributors’ Workshop

The GHC Contributors’ Workshop was organised by the Haskell Foundation as a way to introduce people to GHC development. As sponsors of the Haskell Foundation and regular contributors to GHC, Well-Typed sent several speakers to the event:

The GHC Contributor’s Workshop playlist has all the talks from a variety of other GHC contributors. You can also read the retrospective report from David Christiansen.

More from Well-Typed

Why not check out the Haskell Unfolder, our YouTube series about all things Haskell? Or you can find talks presented by all our consultants by subscribing to our YouTube Channel.

If you are interested in our courses or other services, check our Training page, Consultancy page, or just send us an email.