Hacker News Reader

Scala has the most advanced meta-programming facilities. And Scala's MP is widely used.

If you are interested in research-prototype languages, https://convergepl.org/ is interesting. But Converge is no longer under active development.

View on HN

Which features make it the most advanced?

Compile-time MP and run-time MP. Support for AST and quasi-quote MP, and support for LMS (= lightweight modular staging).

You haven't seen any Lisp yet, have you?

Compile and run-time MP and quasiquoting are basic features; I'd argue that a language without these doesn't even qualify as "supporting metaprogramming".

Sure, I'm intimately familiar with the Lisp family of languages. It lacks features that I prefer in a modern meta-programming language, in particular an expressive typing system with type inference, and a platform / eco-system like the JVM.

I stand corrected, and I agree with you here on both accounts - I'd love if CL in particular had a better type system standardized (current one sits in a kind of uncanny valley) and a better ecosystem. CL implementations are solid, but the mindshare unfortunately isn't there anymore.

Cool, I wasn't aware of Scala's LMS. Thanks for sharing!

Reply on news.ycombinator.com