I'd implore anyone interested in metaprogramming to look at Lean4

It gets overshadowed by the theorem proving but it's unsurpassed in metaprogramming, to my knowledge it can do anything Lisp Racket and Rhombus can and much more

Related. Others?

Rhombus Language 1.0 - https://news.ycombinator.com/item?id=48633473 - June 2026 (113 comments)

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

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

Rhombus: A New Spin on Macros (2023) - https://news.ycombinator.com/item?id=42041070 - Nov 2024 (1 comment)

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)