Haskell Weekly
Dependent Haskell with Vladislav Zavialov
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 0:56:15
- Mais informações
Informações:
Sinopse
Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more! https://serokell.io/blog/developing-ghc-for-a-living https://twitter.com/int_index