Conversation

This Tweet was deleted by the Tweet author. Learn more

Mar 4, 2020

Several PLs having "inline lambdas" which do what you want here. Macros are great when they work, but wow when things go wrong, the error reporting can be complicated or unhelpful. I've been using Rust lately, and macros are used everywhere -- often awesome. Sometimes awful.

shachaf

@shachaf

Mar 4, 2020

What languages have "inline lambdas" that give you the same kinds of benefits you can get from macros? I've been looking for a feature like that but haven't really found anything.

Replying to

and

Dotty has this this: dotty.epfl.ch/docs/reference Also check out MetaML and Meta OCaml: github.com/metaocaml/meta - both really interesting languages when it comes to multistage programming.

github.com

GitHub - metaocaml/metaocaml-bibliography: MetaML and MetaOCaml bibliography

MetaML and MetaOCaml bibliography. Contribute to metaocaml/metaocaml-bibliography development by creating an account on GitHub.

1:07 PM · Mar 4, 2020Twitter Web App

Replying to

Rust's stack-allocated lambdas also inline pretty aggressively via monomophisation, so you usually use them as if they behave like 'inline functions'. But I think it's fair to say that it would be nice to be explicit about the staging, and do it earlier (ie. before hitting LLVM).