ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Dependent Haskell with Vladislav Zavialov"
Episode Synopsis
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
https://serokell.io/blog/developing-ghc-for-a-living
https://twitter.com/int_index
More episodes of the podcast Haskell Weekly
2021 Survey Results
06/12/2021
Monad Architecture
15/11/2021
GHC 9.2.1
08/11/2021
Loop Breaker
04/10/2021
Hash Flooding Aeson
27/09/2021
Evoking Instances
13/09/2021
Our Tech Stack
16/08/2021
Cast Values with Witch
09/08/2021
The Voids of Haskell
08/06/2021
In God we trust