RENDEZVOUS BETWEEN FUNCTIONAL & DECLARATIVE PROGRAMMING
summary
Shows a concrete code generator that emits LogiQL (LogicBlox) from an AST in Scala, including grammar, parsers and a Scala code generator that binds predicate signatures to generated variables with a 20-variable pool heuristic. Demonstrates generators for typed helpers (example: per-type abs predicates), auto-generated protocol modules for HTTP proto services, and a full model refinery that composes static libraries, client-specific fragments and JSON data models into runnable LogicBlox apps; production-ready and used for multiple retail apps.
AI-written summary · about
chapters (12)
- 0:00Intro
- 0:15History
- 2:39Logic
- 7:00Logical
- 9:30Scala
- 13:50Scala function
- 14:10Headaches
- 15:42Type Map
- 19:01Generic Logic
- 20:35Generic Logic Example
- 21:56Model Refinery
- 23:58Thank you
related talks
42mWhen your DSL Needs to Support User-Defined Functions
52mWhat logic can teach us, Scala programmers
41mThe Dialectics of Type-Level Programming
33mAnalyzing Functional Programs
38mGenerative Programming and Verification
43mAn Imperishable Wonderland of Infinite Fun
15mLogic Programming with Extensible Types (Lightning talk)
26mThe Power of Programs as Data