KR
Видимо вам нужно привыкнуть к этой строгости и определениям. Месяца хватит.
Size: a a a
2020 December 19
AK
На картинке классическое определение Context-free grammar («КС-грамматика» по-русски) в виде квадрупла (4-тупла). Нетерминалы и правила не эквивалентны. Правило — правило развёртки нетерминала (того, что слева от стрелки, в то, что справа).
M
production rule
M
Это rewriting rules над последовательностью
M
Вроде так
AK
Вот, я студентам рекомендую вот этот цикл лекций посмотреть по Теории алгоритмов: https://www.youtube.com/watch?v=TOsMcgIK95k&list=PLbtzT1TYeoMjNOGEiaRmm_vMIwUAidnQz
AK
Очень подробное и доступное введение.
M
Я понял, проблема вот в чем то что мы пишем в бизоне правило - определяет кучу анонимных не терминалов и правил продукции на одну строчку
IK
терминал это токен
нетерминал это буква которая может раскрываться в другие буквы
слева от стрелки всегда нетерминалы
нетерминал это буква которая может раскрываться в другие буквы
слева от стрелки всегда нетерминалы
Это если КС грамматика. В КЗ слева могут быть комбинации терминалов и не терминалов, но такое не используется на практике.
а
Это если КС грамматика. В КЗ слева могут быть комбинации терминалов и не терминалов, но такое не используется на практике.
а, да
DP
Как всегда порыться в пейперах и найдутся 3-4 подхода которые просто скорей всего потребуют переписать половину транслятора на монадах или что то типо того
инкрементная компиляция + оптимизации и анализ, работающие в фоне интерактивной системы?
(косясь на Pharo Smalltalk)
(косясь на Pharo Smalltalk)
AT
Бертран Мейер в своё время для Eiffel придумал основную часть компилировать в натив, а изменения поверх — в байт-код чтобы быстрее итерироваться. Правда, за прошедшие годы от этой схемы отказались, как мне кажется.
AT
А так был JIT-наизнанку. 😂
E
а почему отказались? звучит как обычный method body replacement
E
из джавы и дотнета (моно)
E
я так понимаю "Instant Run" для андроида так работает, когда изменения кода небольшие и это позволяет мгновенно перезапустить апп
AT
а почему отказались? звучит как обычный method body replacement
Не знаю. Мне показалось, что просто забили и оно больше так не делает. 🤷♀️
AT
Как именно оно внутри работало — method body replacement или что — тоже не разбирался.
DF
А что байткодом удобнее реплйсить получается?
AT
Dollar Føølish
А что байткодом удобнее реплйсить получается?
Если ты сначала компилируешь в байт-код, а только потом в натив в любом случае, то получить только байт-код явно быстрее. 😉