How to Program like a Five Year Old in Haskell
summary
Claims that Haskell plus logic programming can auto-assemble programs by treating arrows as puzzle pieces and using backtracking to search trees of compositions. Implements a proof-of-concept assembly engine (repo and slides linked) and applies it to a legal-automation templating pipeline that generates email content by composing many small extractors. Outputs are concrete: zero, one, or many solutions; it works for maintenance and many messy inputs but hits combinatorial scaling limits without pruning and more heuristics.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 1:08Why Program like a Five Year Old
- 3:34Puzzle Oriented Programming
- 4:41Puzzle Pieces
- 5:22Lists of Puzzle Pieces
- 6:17Five Year Olds
- 7:29Algorithm
- 9:05Code
- 10:03In Practice
- 14:22Correctness
- 15:37Scaling
related talks
41m"Do What I Mean": The History of AI and Program Synthesis
30mToward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI ...
11mWriting Programs! That Write Other Programs!!
01h 04mInvited Talk: Finding Good Programs by Avoiding Bad Ones
54mA World Without Programmers?
31mComputer, Program Theyself!
25mAuto code generation using AI & Scala Macros
53mSemantics-based program manipulation in the age of LLMs