
Episode 14 - Richard Eisenberg on Dependent Types in Haskell
Jun 14, 2017 - 65:59
Radio and PodcastLive Radio & Podcasts
Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gabriel’s pipes library focuses on equational reasoning while Michael’s conduit library promises deterministic resourc...