Go offline with the Player FM app!
#13 Matthías Páll Gissurarson
Manage episode 516877198 series 3662840
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
Manage episode 516877198 series 3662840
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
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.