kosmikus

In this episode, we are going to look at the common design pattern where we abstract all the fields of a record type over a type constructor which can then be instantiated to the identity to get the original record type back, but also to various other interesting type constructors. We are going to look at a few examples, and are also going to see how common operations on such types naturally lead to the use of higher-rank polymorphic types.

In this episode, Andres and Edsko will talk about Edsko's visit to ICFP (the International Conference on Functional Programming), the Haskell Symposium, and HIW (the Haskell Implementors' Workshop) from 4-9 September 2023 in Seattle. We will highlight a few select papers from these events.

This will be streamed today, 2023-09-13, at 1830 UTC.

This will be streamed today, 2023-08-30, at 1830 UTC.

Today, 2023-07-26, at 1000 UTC (that's less than 30 minutes from the time of this announcement!) we are streaming the 8th episode of the Haskell Unfolder live on YouTube:

https://www.youtube.com/watch?v=V7673JaWXaA&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=8

Many of Haskell's abstractions come with laws; well-known examples include the Functor type class with the functor laws and the Monad type class with the monad laws, but this is not limited to type classes; for example, lenses come with a set of laws, too. To people without a mathematical background such laws may seem intimidating; how would one even start to think about proving them for our own abstractions? In this episode of The Haskell Unfolder we will discuss examples of these laws, show how to prove them, and discuss common techniques for such proofs, including induction. We will also discuss why these laws matter; what goes wrong when they do not hold?

The Haskell Unfolder is a YouTube series about all things Haskell hosted by Edsko de Vries and Andres Löh, with episodes appearing approximately every two weeks.

We also have a GitHub repository with the code samples from the episodes:

https://github.com/well-typed/unfolder

And we have a public Google calendar listing the planned schedule:

https://calendar.google.com/calendar/u/0/embed?src=c_327de9ca66caa0307fd99de5b0e3fdd2ad1111ae857bd21659166c74b2b974f0@group.calendar.google.com

(or ICal: https://calendar.google.com/calendar/ical/c_327de9ca66caa0307fd99de5b0e3fdd2ad1111ae857bd21659166c74b2b974f0%40group.calendar.google.com/public/basic.ics )