Dependent Haskell with Vladislav Zavialov

Thanks to everyone who filled out the 2021 State of Haskell Survey! This week Cameron and Taylor review the results. https://taylor.fausak.me/2021/11/16/haskell-survey-results/

This week Cameron and Taylor answer our first listener question: How should you structure large applications? We compare ReaderT with MTL along with other approaches. https://join.slack.com/t/haskell-foundation/shared_invite/zt-mjh76fw0-CEjg2NbyVE8rVQDvR~0F4A

We’re back! After a month off, Cameron and Taylor get together to talk about what’s new in the Haskell world. https://www.haskell.org/ghc/blog/20211029-ghc-9.2.1-released.html https://haskellweekly.news/survey/2021.html

Cameron Gera and Taylor Fausak discuss Drew Olson’s adventures in looping. What should you do if you want to loop forever, but break out of the loop early sometimes? https://blog.drewolson.org/adventures-in-looping

Special guest Tom Sydney Kerckhove talks with Taylor Fausak about a denial of service vulnerability in Aeson, a Haskell library for JSON. https://cs-syd.eu/posts/2021-09-11-json-vulnerability https://hackage.haskell.org/package/sydtest-0.4.0.0 https://hackage.haskell.org/package/genvalidity-0.11.0.2 https://hackage.haskell.org/package/yamlparse-applicative-0.2.0.0

Taylor Fausak talks with Cameron Gera about Evoke, Taylor’s latest GHC plugin for deriving instances without generics or Template Haskell. https://taylor.fausak.me/2021/09/10/evoke/

Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more! https://serokell.io/blog/developing-ghc-for-a-living https://twitter.com/int_index

Stack, HLint, and Brittany, oh my! Cameron Gera and Taylor Fausak go on a deep dive into the ACI Learning tech stack. https://www.acilearning.com

Back from summer break, Cameron Gera discusses the Witch library with it’s author, Taylor Fausak. Learn about the many motivations behind this simple library for converting values between various types. https://taylor.fausak.me/2021/07/13/witch/ https://hackage.haskell.org/package/say-my-name-0.1.0.0

There’s a lot to like about Haskell, but what is it missing? We explore Alexander Granin’s post where he suggests some topics for books that could benefit the Haskell community. https://github.com/graninas/The-Voids-Of-Haskell/blob/9b401e33af37f991dcb3ab2eedc023661237d845/README.md