а
"Language Implementation Patterns"
спасибо
Size: a a a
2020 April 04
p
но как это получить...
Читай про создание LLk парсеров
M
что значит вершины — правила ?
Гуманитарное разъяснение:
Правила это как глаголы (сказуемые), символы это как существительные (подлежащее)
Правила это как глаголы (сказуемые), символы это как существительные (подлежащее)
p
Сказал бы "операции" и "операнды"
МБ
А ещё проще сделать в языке нормальные типы данных и отсутствие возможности добавления новых полей в рантайме. И оптимизировать станет значительно проще.
Не станет. Понадобится сразу полиморфизм, трэйты и прочее, что вернёт задаче исходную сложность.
p
Не станет. Понадобится сразу полиморфизм, трэйты и прочее, что вернёт задаче исходную сложность.
Где вернет исходную сложность?
МБ
Где вернет исходную сложность?
В полиморфном коде.
p
В полиморфном коде.
И что там сложного?😉
МБ
И что там сложного?😉
Представление данных. Как сделать хорошую функцию для работы с полиморфными массивами? Через мономорфизацию? Но это разбарабанивает код экспоненциально.
А
Представление данных. Как сделать хорошую функцию для работы с полиморфными массивами? Через мономорфизацию? Но это разбарабанивает код экспоненциально.
раст и кресты так делают
МБ
раст и кресты так делают
Угу. И получаются бинарники размером в гигабайт. "Прощай кэш", называется.
А
Угу. И получаются бинарники размером в гигабайт. "Прощай кэш", называется.
Ну вообще говоря нет
AK
Не станет. Понадобится сразу полиморфизм, трэйты и прочее, что вернёт задаче исходную сложность.
Для полиморфных методов достаточно indirect call’а через таблицу. Это несравнимо проще, чем делать инлайн-кеши и отслеживать изменения, которые должны их обнулять
МБ
Ну вообще говоря нет
ClickHouse, например.
AK
Если еще учесть, что джиес позволяет поковыряться в прототипе или вообще его заменить в произвольный момент...
А
ClickHouse, например.
там гигабайт прям бинарник?
МБ
Для полиморфных методов достаточно indirect call’а через таблицу. Это несравнимо проще, чем делать инлайн-кеши и отслеживать изменения, которые должны их обнулять
Может оказаться, что inline-cache будет в таком случае эффективнее.
AK
Может оказаться, что inline-cache будет в таком случае эффективнее.
Очень сильно зависит от того, соблюдает ли конечный разработчик мономорфизм или нет
МБ
там гигабайт прям бинарник?
700 мегабатов было, когда смотрел. Может быть, починили. Но объяснялось так, что "это потому что шаблоны".
а
700 мегабатов было, когда смотрел. Может быть, починили. Но объяснялось так, что "это потому что шаблоны".
так они ведь оптимизируются