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:HaskellTyped holesUsing AI for code generationLift weights, not just monadsLinks:Starting StrengthPumping IronYou come to me at runtime, to tell me the code you are executing does not compileThe Lambda CubeGhost in the HaskellMatthias websiteCSI: HaskellSynthesis and Repair for Functional Programming: A Type- and Test-Driven ApproachThe Spectacular paperPropR: Property-Based Automatic Program Repair

Ver todos los episodios