Dependent Haskell with Vladislav Zavialov
56 min•23 augusti 2021
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!
Fler avsnitt av Haskell Weekly
Visa alla avsnitt av Haskell WeeklyHaskell Weekly med Taylor Fausak finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.