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...
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....
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:...
Today, 2023-07-12, at 1830 UTC (11:30 am PDT, 2:30 pm EDT, 7:30 pm BST, 20:30 CEST, …) we are streaming the seventh episode of the Haskell Unfolder live on YouTube:...
Today, 2023-06-28, at 1830 UTC (11:30 am PDT, 2:30 pm EDT, 7:30 pm BST, 20:30 CEST, ...) we are streaming the sixth episode of the Haskell Unfolder live on YouTube....
The Haskell Unfolder Episode 14: higher-kinded types (well-typed.com)
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...
The Haskell Unfolder Episode 11: Haskell at ICFP (well-typed.com)
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....
The Haskell Unfolder Episode 10: generalBracket (well-typed.com)
This will be streamed today, 2023-08-30, at 1830 UTC.
The Haskell Unfolder Episode 9: GHC Core (well-typed.com)
OC The Haskell Unfolder Episode 8: laws
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:...
OC The Haskell Unfolder Episode 7: learning by testing
Today, 2023-07-12, at 1830 UTC (11:30 am PDT, 2:30 pm EDT, 7:30 pm BST, 20:30 CEST, …) we are streaming the seventh episode of the Haskell Unfolder live on YouTube:...
OC The Haskell Unfolder Episode 6: computing type class dictionaries (www.youtube.com)
Today, 2023-06-28, at 1830 UTC (11:30 am PDT, 2:30 pm EDT, 7:30 pm BST, 20:30 CEST, ...) we are streaming the sixth episode of the Haskell Unfolder live on YouTube....