Rhombus Language 1.0

119

DDecabytes 1 day ago 26 commentsRead Article on blog.racket-lang.org

DE version is available. Content is displayed in original English for accuracy.

⚡ Community Insights

Discussion Sentiment

61% Positive

Analyzed from 834 words in the discussion.

Discussion (26 Comments)Read Original on HackerNews

ashton314•about 4 hours ago

I’ve written a little library Rhombus.

I think my favorite thing is the `…` operator. Go check it out. It’s not like the splat operator in other languages, though it does give that feel initially. It’s much more general: it works with nested data structures and can take the place of a `map` operation.

The best part of `…` is that it is not a built-in thing—it’s just a macro! The magic is that Rhombus lets you define different macros depending on whether or not the macro identifier appears in binding context (left side of `=`), expression context, or some other contexts. IIRC you can even define your own contexts too.

Rhombus takes the best-in-class macro system of Racket and somehow finds a way to improve upon it. I say this after researching and comparing detailed metaprogramming features across a dozen different languages. Rhombus is a very neat little language.

Last thing: Rhombus’ main data type, the list, is implemented with an RRB tree. RRB trees support structural sharing, functional updates, and have O(log n) iterate, insert, delete, append, and arbitrary read operations. The constant factor on that is tiny: I think it’s like log_16 or log_32. They’re designed to be very cache friendly. Super cool data structure.

WalterGR•about 3 hours ago

> I say this after researching and comparing detailed metaprogramming features across a dozen different languages.

I’m very interested in this. What was your research approach? Are there resources you can recommend beyond the documentation for individual languages?

ashton314•about 3 hours ago

Here's the paper I wrote: https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf

Lots and lots of documentation, some experimentation, and asking people. :)

gus_massa•about 4 hours ago

I was not very involved in this. I still prefer s-expressions.

Anyway, my main initial concern was how to make good macros without s-expressions. There is a nice video by Matthew Flatt in RacketCon 2023. The first 6 minutes and 20 seconds are internal stuff, so skip to the 380s that I added in this link: https://www.youtube.com/watch?v=OLgEL4esYU0&t=380s He takes like another 6 minutes to explain the general idea and make some wishes, and then at the 12m mark he defines macros in Rhombus and makes the wish real in just 2m (with some enhancements later).

azhenley•about 3 hours ago

You can read about Shrubbery, just adding the Rhombus syntax in Racket:

https://docs.racket-lang.org/shrubbery/index.html

psychoslave•about 1 hour ago

What with the term itself, is that some monthy python reference or related to tree algebraic structure?

ashton314•about 1 hour ago

Matthew Flatt picked “shrubbery” because it’s tree-like but not fully expanded, so it tends to be more broad/flat than deep like a tree. Hence also the term “enforrestation” when you fully expanded it.

I think the Monty Python reference is just a happy coincidence.

psychoslave•43 minutes ago

Nice to get so much insightful feedbacks. That's the kind of exchange that make HN still sometime interesting.

brightball•about 3 hours ago

I'd love to get a talk on this at the 2027 Carolina Code Conference (polyglot and cybersecurity). Call for Speakers will open in January.

https://carolina.codes

dang•about 6 hours ago

Related. Others?

Summer Rhombus picture competition 2026 - https://news.ycombinator.com/item?id=48546270 - June 2026 (2 comments)

Rhombus Language - https://news.ycombinator.com/item?id=43394881 - March 2025 (158 comments)

Rhombus: Macro-extensible language with conventional syntax built on Racket - https://news.ycombinator.com/item?id=41151439 - Aug 2024 (97 comments)

State of Rhombus (programming language) - https://news.ycombinator.com/item?id=30314109 - Feb 2022 (17 comments)

spdegabrielle•1 day ago

Rhombus is designed to be

* approachable and easy to use for everyday purposes, with a readable indentation syntax; and

* uniquely customisable with an _open-compiler API_ that is accessible to a wide audience.

cptmurphy•about 23 hours ago

Racket is already approachable and easy to use for everyday purposes

bjoli•about 19 hours ago

A lot of people hate sexprs. Even seemingly reasonable folks.

I imagined they have met students that really struggle with the syntax, while grokking the concepts easily.

I myself have heard "the parentheses are hard to balance" and "after a while you dont even see the parentheses" enough times that I think maybe both can be correct.

iLemming•about 2 hours ago

> A lot of people hate sexprs

In all my time I have never come across a single Lisper, neither in person nor online, and I know far more than a few dozens, who once grokked the REPL-driven workflow and the structural editing idioms only to later, for whatever reason, suddenly start disliking or even hating s-expressions.

All that so-called "hatred" stems from unfamiliarity. People fuss about Lisps lacking static types, without a single clue about how a "true" REPL trades them off for something different. They compare it to a Python or C# REPL and think "it ain't a big deal". Well, the Lisp REPL is quite different, and yes, a major deal - every single part of the Read-Eval-Print-Loop differs. They complain about "hard to deal with parentheses" and "I can't refactor without types" while having no clue how amazingly nice structural editing is in practice, that you never even think about parens - you only see structure, order and reason.

drob518•about 3 hours ago

My editor balances my parentheses (Emacs Paredit). I rarely think about them. I just think structurally and the editor manages the details.

jitl•about 1 hour ago

For you, perhaps. I've never been able to get into lisp style sexpr syntax languages :'(

ashton314•about 1 hour ago

)

There matched your paren for you.

ginko•about 6 hours ago

Adding significant whitespace to a new language feels like a bad choice. It's not terrible but I do think it was a bad call for Python in hindsight.

cmoski•about 1 hour ago

Massive fail. I dread having to move code around my F# codebase.

pasquinelli•about 5 hours ago

why do you think it was a bad choice?

ginko•about 5 hours ago

It‘s a source of problems with mismatched tabs/spaces being used for indentation between team members for fairly little upside. Imo it also makes moving blocks of code more cumbersome.

dartharva•about 2 hours ago

I wonder how much utility of such special-purpose languages will keep getting diminished as AI coding becomes a staple in programming and software engineering.

psychoslave•about 1 hour ago

With current LLM I am not sure. Using macro, you can often spare a lot of explicit code boilerplate. So token efficiency. On the other hand, will LLM shine in such a paradigme, where picking the right abstraction is more useful than generating large amount of lines?

Maybe it's a lake of training set, but just roaming the fine article, it already mention a LLM generated project which is more looking like Java idiomatic rather than something authors would consider elegant Rhombus code.