51: Victor Cacciari Miraldo The Haskell Interlude podcast

Artwork

内容由Haskell Podcast提供。所有播客内容（包括剧集、图形和播客描述）均由 Haskell Podcast 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

The Haskell Interlude « »
51: Victor Cacciari Miraldo

8M ago 49:43

分享

MP3•单集首页

内容由Haskell Podcast提供。所有播客内容（包括剧集、图形和播客描述）均由 Haskell Podcast 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that Software Engineering could be less like alchemy.

… continue reading

62集单集

Artwork

51: Victor Cacciari Miraldo

The Haskell Interlude

24 subscribers

published 8M ago

分享

MP3•单集首页

内容由Haskell Podcast提供。所有播客内容（包括剧集、图形和播客描述）均由 Haskell Podcast 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。

Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that Software Engineering could be less like alchemy.

… continue reading

62集单集

所有剧集

×

欢迎使用Player FM

Player FM正在网上搜索高质量的播客，以便您现在享受。它是最好的播客应用程序，适用于安卓、iPhone和网络。注册以跨设备同步订阅。

收听超过500个主题

边探索边听这个节目