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