Artwork

Content provided by Haskell Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Haskell Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.
Player FM - Aplicație Podcast
Treceți offline cu aplicația Player FM !

51: Victor Cacciari Miraldo

49:43
 
Distribuie
 

Manage episode 423855705 series 2968141
Content provided by Haskell Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Haskell Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.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

58 episoade

Artwork

51: Victor Cacciari Miraldo

The Haskell Interlude

23 subscribers

published

iconDistribuie
 
Manage episode 423855705 series 2968141
Content provided by Haskell Podcast. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Haskell Podcast or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.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

58 episoade

Toate episoadele

×
 
Loading …

Bun venit la Player FM!

Player FM scanează web-ul pentru podcast-uri de înaltă calitate pentru a vă putea bucura acum. Este cea mai bună aplicație pentru podcast și funcționează pe Android, iPhone și pe web. Înscrieți-vă pentru a sincroniza abonamentele pe toate dispozitivele.

 

Ghid rapid de referință