Sveriges mest populära poddar
Haskell Weekly
Teknologi

Refinement Types

15 min•16 juli 2019

Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.

Fler avsnitt av Haskell Weekly

Visa alla avsnitt av Haskell Weekly
2021 Survey Results
•35 min
Monad Architecture
•24 min
GHC 9.2.1
•28 min
Loop Breaker
•21 min
Hash Flooding Aeson
•26 min
Evoking Instances
•36 min
Dependent Haskell with Vladislav Zavialov
•56 min
Our Tech Stack
•39 min
Cast Values with Witch
•34 min
The Voids of Haskell
•30 min

Haskell Weekly med Taylor Fausak finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.