В компиляторе GCC мы видим несколько 'промежуточных языков': RTL, GENERIC и GIMPLE.
Этот ответ намекает на идею промежуточного представления в scalac.
У меня вопрос: есть ли "промежуточное представление" компилятора в Scala? Есть ли какие-либо документы для этого?
Предположения:
Ближайшими эквивалентами будут icode и bcode, используемые в scalac. Дополнительную информацию см. на сайте Мигеля Гарсии об оптимизаторе Scalac, здесь: http://magarciaepfl.github.io/scala/
Вы также можете считать байт-код Java своим промежуточным представлением, учитывая, что байт-код является конечным результатом scalac.
Или, возможно, настоящий промежуточный продукт — это то, что создает JIT до того, как он, наконец, выведет нативные инструкции?
В конечном счете, однако... Нет ни одного места, на которое можно было бы указать в утверждении "есть промежуточное звено!". Scalac работает поэтапно, последовательно изменяя абстрактное синтаксическое дерево, и каждый отдельный этап создает новый промежуточный вариант. Все это похоже на луковицу, и очень трудно попытаться выбрать один слой как более значимый, чем любой другой.
возможно, это поможет вам:
или эта страница:
www.scala-lang.org/node/6372
Согласно тезису Юлиана Драгоша, серверная часть использует промежуточное представление, называемое icode. Подробнее об этом можно прочитать здесь http://infoscience.epfl.ch/record/150270/files/EPFL_TH4820.pdf на стр. 34.
