Haskell Weekly
Refinement Types
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 0:15:18
- Mas informaciones
Informações:
Sinopsis
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