The Rhombus Programming Language

on YouTube ↗59m

" summary

Rhombus v1.0 is a Racket-based language that keeps Racket’s macro power but replaces s‑expressions with shrubbery notation, adds multiple binding spaces (expressions, bindings, regex, C types) and a framework for lightweight static info via double‑colon annotations. Its parser uses a Pratt‑style inforestation tightly integrated with macro expansion so operator precedences are declared by macros. The Cairo FFI example shows foreign‑type space, pack/unpack representations, and user‑defined coercions; macros generate the C bindings and the runtime checks that improve performance.

AI-written summary · about

" chapters (9)

1. 0:00Rhombus introduction
2. 1:47Domain specific languages today
3. 7:27DSL features and design
4. 16:58Foreign function interface
5. 25:04Macro systems comparison
6. 31:00Shrubbery notation and inforestation
7. 40:33Static info and type-like annotations
8. 48:19Subspaces and DSL implementation
9. 50:09Q&A on types and teaching

" related talks

• 19mRhombus: A New Spin on Macros without All the ParenthesesJay McCarthy, Matthew Flatt, Robert Bruce Findler, Ben Greenman, Kiran Gopinathan, Sorawee Porncharoenwase, Taylor Allred, Nia Angle, Stephen De Gabrielle, Jack Firth, Siddhartha Kasivajhula, Alex Knauth, Sam Phillips, Jens Axel Søgaard, Sam Tobin-Hochstadt · OOPSLA 2023
• 56mRhombus: The Non-shrubbery Parts (Keynote)Matthew Flatt · Scheme 2026
• 01h 03mModern MacrosRobby Findler · PADL 2023
• 45mLanguage-Oriented Programming with RacketMatthias Felleisen · Lambda World Cádiz 2019
• 17mMacros for Domain-Specific LanguagesAlexis King, Matthias Felleisen, Michael Ballantyne · OOPSLA 2020
• 23mMacro-embedding Compiler Intermediate Languages in RacketWilliam J. Bowman · Scheme 2022
• 48mRapid Programming Language Prototypes with Ruby RACCTom Lee · RubyConf 2012
• 40mLet's Build a Hygienic Macro ExpanderMatthew Flatt · Strange Loop 2016