The Haskell Unfolder Episode 6: computing type class dictionaries

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.

This episode of the Unfolder returns to a more advanced topic. A function with a Show a constraint wants evidence that type a has a Show instance. But what if we want to return such evidence from a function? Can we compute it? When might we want to?

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.