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:

Starting Strength

Pumping Iron

You come to me at runtime, to tell me the code you are executing does not compile

The Lambda Cube

Ghost in the Haskell

Matthias website

CSI: Haskell

Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach

The Spectacular paper

PropR: Property-Based Automatic Program Repair

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Christoffer Ekeroth. Innehållet i podden är skapat av Christoffer Ekeroth och inte av, eller tillsammans med, Poddtoppen.