Refinement Types

Haskell Weekly - En podcast af Taylor Fausak

Prøv Podimo gratis i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

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