Refinement Types

Haskell Weekly - Podcast tekijän mukaan Taylor Fausak

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

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