ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Refinement Types"
Episode Synopsis
Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.
https://danieljharvey.github.io/posts/2019-07-05-refined-types.html
https://danieljharvey.github.io/posts/2019-07-05-refined-types.html
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
Dependent Haskell with Vladislav Zavialov
23/08/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