51: Victor Cacciari Miraldo - podcast episode cover

51: Victor Cacciari Miraldo

Jun 16, 202450 minSeason 1Ep. 51
--:--
--:--
Download Metacast podcast app
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more

Episode description

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.

For the best experience, listen in Metacast app for iOS or Android
Open in Metacast
51: Victor Cacciari Miraldo | The Haskell Interlude podcast - Listen or read transcript on Metacast