Everything Old is New Again: Quoted Domain Specific Languages
summary
Claims that Quoted DSLs pair quotation with normalization to enforce the subformula property, so higher‑order host code compiles to first‑order targets. Implements this for language‑integrated query in F# (improving LINQ) and reimplements Feldspar in Haskell. Proves normalising quoted terms always succeeds for flat relation types to SQL. Builds a normaliser and generator that produces single SQL queries where LINQ either fails or emits many; normalization cost is small compared to query execution.
AI-written summary · about
chapters (12)
- 0:00Theory as a friendly tool
- 2:03Integrating DSLs
- 5:23Challenges and limitations
- 7:40Quotation techniques
- 10:38Runtime execution
- 13:30Advanced query examples
- 15:45Query normalization
- 19:09Closed vs open quotation
- 22:50The subformula principle
- 25:55Practical implementation
- 33:07Artist analogies
- 35:18Q&A session
related talks
49mScylla, Charybdis, and the mystery of Quill
18mTranslating canonical SQL to imperative code in Coq
48mCompositional, Expressive, Performant Database Queries: Choose 3
35mComprehending queries over finite maps
17mFixpoints for the Masses: Programming with First-Class Datalog Constraints
20mFunctional collection programming with semi-ring dictionaries
37mTyqu: Typesafe SQL Queries in Scala
23mLanguage-Integrated Query for Temporal Data