ZB
Опыт показал, что так проще делать трансформации, особенно если в языке (пока) нет чего-то типа линз.
Size: a a a
2021 May 18
AK
Так у вас дерево мутируется in-place, или копируется перед мутацией?
ZB
целиком не копируется, но есть случае когда нужно поддерво скопировать, например чтобы заинлайнить
ZB
мутируется in-place
PS
Это не совсем аналог. Сопоставление с образцом в Рефале значительно мощнее. На примерах простых компиляторов это уже заметно.
MO
В частности здесь копирование необходимо из-за типовой подстановки
ZB
прям размечанных задач нет, но если расскажешь что именно интересно можем собрать пул
* в компиляторе Kotlin/JS сейчас, в основном, нужно чинить баги, недоделки
* есть разный тулинг от конвертора TS деклараций в Kotlin до итеграции с JS тулами типа webpack
* в Kotlin/Wasm большое разнообразие задач — поддержка фич, оптимизации, тулинг
Пиши! Найдем задачу по вкусу!
* в компиляторе Kotlin/JS сейчас, в основном, нужно чинить баги, недоделки
* есть разный тулинг от конвертора TS деклараций в Kotlin до итеграции с JS тулами типа webpack
* в Kotlin/Wasm большое разнообразие задач — поддержка фич, оптимизации, тулинг
Пиши! Найдем задачу по вкусу!
ДК
Кстати, что думаете про эту штуку, как формат представления AST?
TS
Обычно такие low profile тикеты помечают в githubе меткой "good first issue"
ZB
у нас есть тег
Up For Grabs, но там в основном про IDE https://youtrack.jetbrains.com/issues?q=%23kotlin%20tag:%20%7BUp%20For%20Grabs%7D%20&u=1А
я правильно понимаю, что описано в основном текстовое представление. а внутреннее представление гомогенное без описания предлагаемого способа обработки/трансформации?
А
для AST как раз внутреннее представление важно и способ его обработки.
лично я предпочитаю статическую типизацию => гетерогенные деревья. обрабатывать можно хоть визитером
лично я предпочитаю статическую типизацию => гетерогенные деревья. обрабатывать можно хоть визитером
ДК
Внутреннее да, гомогенное. Там есть примеры обработки. Тут больше про трансформации. И даже DSL для трансформаций.
ДК
Гомогенное представление ведь тоже может быть статически типизировано. Хотя в своей либе я это ещё не реализовал.
ДК
У гетерогенных деревьев есть такая проблема, что их сложно обрабатывать обобщённым кодом. А многие виды обработки не зависят от конкретного языка.
А
как? для всех Expr, Stmt и прочих узлов будет использован один тип данных
А
если типы узлов наследовать от общего корня, то у всех узлов получится общий интерфейс, который можно обрабатывать обобщенным кодом. а вот наоборот тяжелее :)
ДК
Да, что-то типа:
Node< Type, Kids >
Например:type Expr = Number | Sum | ...
type Sum = Node< '+', Expr[] >
type Number = Node< 'number', [ Data ] >
type Data = Node< '', [] >А
откуда берутся разные типы? может я чего не понял, я вот про этот кусок:
Поэтому нам хватит всего двух типов узлов.
Struct Node
Data Node
Структурные узлы служат для описания иерархии, а узлы данных хранят сырые бинарные данные.
Поэтому нам хватит всего двух типов узлов.
Struct Node
Data Node
Структурные узлы служат для описания иерархии, а узлы данных хранят сырые бинарные данные.