Language-Oriented Programming with Racket
summary
Claims that Racket makes creating and composing tiny languages cheap and practical, showing a video DSL that redoes 25 conference videos and cuts manual editing time versus mouse-only work, a lazy racket implementation of function application in ~62 lines created during the demo (~15 minutes) that handles strictness via explicit force/strict wrappers and a bang-bang operator, plus tooling to auto-specialize the DrRacket IDE and generate macro-generating macros for multi-level DSL towers; demos compile and run, with some remaining safety and integration caveats.
AI-written summary · about
chapters (13)
- 0:00Start
- 3:23Demo
- 10:16Typing Rules
- 16:48Racket Module
- 17:09Compile Time Functions
- 18:21Function Definition
- 18:34Unit Tests
- 27:51Syntactic Construct Lazy Function Application
- 33:43Hygienic Macro Expansion
- 37:47Test Case Fail
- 40:38Macros
- 41:28Macro Defining Macros
- 44:14Ugly Syntax
related talks
22mDSLs in Racket: You Want It How, Now?
17mMacros for Domain-Specific Languages
01h 01mChallenges in the Design and Implementation of Teaching Languages for EDSLs
09mOn Teaching Type Systems as Macros (Lightning Talk)
37mStanding on the Shoulders of Giants
53mDeveloping DSLs in a pragmatic way
23mMacro-embedding Compiler Intermediate Languages in Racket
42mImplementing Languages for Fun and Profit