Ну, ты описываешь на этой штуке интерпретатор — семантику языка + специализации для спекулятивной компиляции. Где здесь мультиязычность проявляется? Я скорее говорил про то, что хотелось бы увидеть среду, где интерфейс к компилятору был таким же дружелюбным, как макросы, но содержал также и другую информацию о языке. Например, области определения переменных и их типы. Я не разбирался особо в хитрых системах типов в Haskell и Scala, но я помню боль от чтения ошибок типизации этих систем. Типизация в рамках EDSL — понятные ошибки + удобный интерфейс для пользователя

Это надуманная проблема, а вот то, что у макросов куцый интерфейс — это проблема

а где они нормальные на твой взгляд?

Dotty