Dependent Haskell with Vladislav Zavialov

https://is1-ssl.mzstatic.com/image/thumb/Podcasts113/v4/28/54/0f/28540f62-8e25-cf3c-8a5f-89546e6d67f1/mza_5803817015184916421.png/600x600bb.jpg

Haskell Weekly

Taylor Fausak

57 episodes

8 months ago

Thanks to everyone who filled out the 2021 State of Haskell Survey! This week Cameron and Taylor review the results.

Technology

RSS

All content for Haskell Weekly is the property of Taylor Fausak and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Thanks to everyone who filled out the 2021 State of Haskell Survey! This week Cameron and Taylor review the results.

Technology

Dependent Haskell with Vladislav Zavialov

Haskell Weekly

56 minutes 15 seconds

4 years ago

Dependent Haskell with Vladislav Zavialov

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!