Search

Home > The Haskell Interlude > 15: Facundo Dominguez
Podcast: The Haskell Interlude
Episode:

15: Facundo Dominguez
Category: Technology
Duration: 00:56:38
Publish Date: 2022-07-14 16:00:00
Description:

Facundo Dominguez is interviewed by Niki Vazou and Joachim Breitner. Facundo Dominguez tells us the difference between STM and SMT. We also talk about Liquid Haskell and its relation to dependent types and the `QualifiedDo` extension -- which is one of the most highly discussed GHC proposals -- and the general GHC proposals. And, finally, Facundo lets have Haskell peacefully coexist with other languages thanks to his work in the build system Bazel.
Total Play: 0