The award-winning WIRED UK Podcast with James Temperton and the rest of the team. Listen every week for the an informed and entertaining rundown of latest technology, science, business and culture news. New episodes every Friday.
…
continue reading
MP3•Episode home
Manage episode 516877198 series 3662840
Content provided by Christoffer Ekeroth. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Christoffer Ekeroth 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://staging.podcastplayer.com/legal.
What is the future of Haskell, program generation and AI? I sit down with Matthías Páll Gissurarson and try to figure this out, along with the optimal development setup... and of course, deadlifts!
Topics covered:
Haskell
Typed holes
Using AI for code generation
Lift weights, not just monads
Links:
You come to me at runtime, to tell me the code you are executing does not compile
Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach
13 episodes