MO
он в процессе
Size: a a a
2021 May 13
M
Проблема не в GC вовершенно. Яркий тому пример - TinyGo, AssemblyScript. А вот Swift (SwiftWasm) у которого нету GC весит поболее чем оыбчный Go/wasm
AT
Учтите только, что ANTLR не позволяет "определить правила трансляции его конструкций" — это просто генератор парсеров. Но как генератор парсеров — отличная штука!
D
Понял, спасибо
MO
это мутабельное дерево с семантической информацией
D
А не проще было бы просто переписать GC в старом компиляторе?
AT
Мутабельное? Можно узнать подробности — почему так, что насчёт многопоточной компиляции и т.п.? 😊
MO
Практика показала, что нет, хотя историю с переписыванием GC в Kotlin/Native я не особо знаю
РС
Как-то у меня странно выходит😬
Variable = Letter | Underscore (Char)+
Char = Letter | Numeral | Underscore
Letter = [a-zA-Z]
Numeral = [0-9]
Underscore = "_"
First(Char) = {[a-zA-Z], [0-9], "_"}
First (Variable) = {[a-zA-Z], "_"}
Follow(Underscore) = {$, [a-zA-Z], [0-9]}
Follow(Numeral) = {$}
Follow(Letter) = {$}
Follow(Char) = {$}
Variable = Letter | Underscore (Char)+
Char = Letter | Numeral | Underscore
Letter = [a-zA-Z]
Numeral = [0-9]
Underscore = "_"
First(Char) = {[a-zA-Z], [0-9], "_"}
First (Variable) = {[a-zA-Z], "_"}
Follow(Underscore) = {$, [a-zA-Z], [0-9]}
Follow(Numeral) = {$}
Follow(Letter) = {$}
Follow(Char) = {$}
ZB
Если коротко
* скорость - для веб разработки нужна быстрая скорость компиляции, поэтому дев билды мы генерим напрямую, плюс будет инкрементальная компиляция
* размер — опять таки, в вебе очень важно
* лучшая интеграция с окружением, в особенности с GC
* скорость - для веб разработки нужна быстрая скорость компиляции, поэтому дев билды мы генерим напрямую, плюс будет инкрементальная компиляция
* размер — опять таки, в вебе очень важно
* лучшая интеграция с окружением, в особенности с GC
MO
Многопоточная компиляция работает 😏
AT
Так как синхронизируете? 😉
MO
Так вы же не обрабатываете одну и туже функцию одновременно разными трансформациями
Т8
О, круто! Значит ли это, что Scala умрёт?🤔
AS
А перечисленные вами позволяют транслировать код в код, т. е.
declare my_super_int with name var and init with value = 3(my weird lang) =>
int var = 3;(C++)?
MO
в текущем виде единица атомарности вообще файл, внутри которого синхронизация осуществляется ни на самом дереве, а на вспомогательных структурах вроде таблиц, которых конечное число в компиляторе
AT
Ага, так же как Fortran и Ada. 👍
ZB
скорее не только в размере, а сколько в том что без интеграции со внешним GC (не обязательно преиспользованием) будут утечки памяти. Это будет критично при активном взаимодействии.
AT
Позволяют.
Т8
Если верить Википедии, то в Ada 2012 есть зависимые типы