15: Facundo Dominguez
57 min•14 juli 2022
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.
Fler avsnitt av The Haskell Interlude
Visa alla avsnitt av The Haskell InterludeThe Haskell Interlude med Haskell Podcast finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.