Scala has implemented support for async-await syntax using its experimental macros: https://docs.scala-lang.org/sips/async.html https://docs.scala-lang.org/sips

Scala has implemented support for async-await syntax using its experimental macros: https://docs.scala-lang.org/sips/async.html https://docs.scala-lang.org/sips/async.html Just an example of how powerful macros can be. They also have an example in their docs about implementing printf using a macro so that formatting parameters are typechecked.