An Imperishable Wonderland of Infinite Fun

on YouTube ↗43m

" summary

Claim: functional programming ideas are mainstream but logic programming deserves a revival. Uses miniKanren embedded in Scheme to build a relational interpreter evalo that treats programs and values symmetrically, lets logic variables appear anywhere, and synthesizes code (including quines and an append definition) by search. Demonstrates mixing Scheme and miniKanren code in one evaluator (fixed mixing overnight) and returns multiple solutions via run. Performance is slow today but staging and supercompilation are proposed to make it practical.

AI-written summary · about

" chapters (10)

1. 0:00Functional programming victory
2. 3:32Logic programming renaissance
3. 8:12miniKanren introduction
4. 16:21Functions to pure relations
5. 22:24miniKanren core operations
6. 28:29Programs as pure relations
7. 32:49Relational interpreters
8. 37:07Code synthesis with logic
9. 40:01Functional meets logic
10. 42:56Logic programming revisited

" related talks

• 52mStrange Dreams of Stranger LoopsWilliam E. Byrd · Strange Loop 2021
• 46mminiKanrenDaniel Friedman, William E. Byrd · Clojure/conj 2011
• 58mKeynote: Why Functional Programming MattersJohn Hughes, Mary Sheeran · Code Mesh 2015
• 01h 01mLearning Propositional Logic with Logic ProgrammingJimmy Torre · LambdaConf 2018
• 33mAnalyzing Functional ProgramsDavid Cleaver · Scale By the Bay 2017
• 44mFunctional Programming You Already KnowKevlin Henney · Codemotion Rome 2015
• 01h 02mSolving Problems the Clojure WayRafal Dittwald · Clojure/north 2019
• 22mCan Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk)Michael Hanus · PADL 2025