РС
Т.е. он не делает проверку встречался ли уже данные идентификатор?
Size: a a a
2021 March 14
2021 March 15
Vk
Т.е. он не делает проверку встречался ли уже данные идентификатор?
Конечно не делает. Для этого существует семантический анализ
Vk
Дать мою демонстрацию по этому поводу?
Vk
И лекция есть про ANTLR
РС
Дать мою демонстрацию по этому поводу?
если можно
РС
Кстати, режим паники ведь позволяет продолжить работу после ошибки, да?
И
Кто-нибудь использовал Perl 6? Вроде там встроенные грамматики...
Vk
K
Кстати, режим паники ведь позволяет продолжить работу после ошибки, да?
Да
DP
Господа, такой может глупый вопрос: если я пишу компилятор на каком-то языке, могу я в теории использовать свойства этого языка в своём компиляторе?
Ну типа там пишешь на расте и добавляешь к себе в язык его borrow checker?
Ну типа там пишешь на расте и добавляешь к себе в язык его borrow checker?
генерация кода на языке реализации прокатит?
DP
Так, давайте вернемся к оригинальному утверждению. Как в языке X использовать фичу языка Y, на котором написан компилятор языка X?
сгодится только для языков с полноценной 146% поддержкой макросов ака метапрограммирование — пиши eDSLи
DP
Котлин и Скала используют тот же байт-код, что и джава
если компилятор языка реализации X реализован в виде
пакета библиотек, то возможно передавать свойства языка X новому языку Y через переиспользование, не только компонентов компилятора Х, но и stdlibDP
а как на том же ANTLR например, описать работу цикла While
ANTLR это генератор парсеров, а тут нужен другой тул — генератор реализаций языков из спецификаций семантики (+синтаксиса)
РС
Dmitry Ponyatov
ANTLR это генератор парсеров, а тут нужен другой тул — генератор реализаций языков из спецификаций семантики (+синтаксиса)
такого ведь нет)
AT
такого ведь нет)
Spoofax. 🤷♀️
AT
Строго говоря, Dynamix ещё не допилен, но дело движется. 😊
РС
Строго говоря, Dynamix ещё не допилен, но дело движется. 😊
а что за проект?
РС
я про Dynamix. или Dynamix часть Spoofax?
AT
я про Dynamix. или Dynamix часть Spoofax?
Часть Spoofax. На ряду с SDF3, Stratego и Statix.