EG
Так у меня нет бинкода.
struct Value, который представляет из себя значение моего лиспаSize: a a a
2020 April 17
EG
У меня есть
p
Хех
EG
Я на него навешу
#[derive(Serialize)] и вот мой бинкодp
Я пытался дерево запускать, вышла хуйня. Хотя у меня другой немного кейс был.
EG
(На самом деле, мне придётся тут в нескольких местах поизощряться, чтобы Serde работал правильно, но суть такова)
p
Сделал компиляцию в байт код и заебись стало, красиво
DS
Всё, что можем выполнять заранее — выполняем заранее и дампаем получившийся AST в файл.
Так это partial evaluation, про него куча литературы и статей есть.
p
Так это partial evaluation, про него куча литературы и статей есть.
Это называется оптимизации🤔
DS
Это называется оптимизации🤔
Нет, оптимизации есть много разных.
Partial evaluation - одна из них, когда для данной функции мы фиксируем известные на этапе компиляции аргументы и делаем её специализированную версию под них
Partial evaluation - одна из них, когда для данной функции мы фиксируем известные на этапе компиляции аргументы и делаем её специализированную версию под них
DS
Практически все компиляторы сейчас это умеют, но в достаточно ограниченном объеме
DS
Хочется, чтобы умели полностью
EG
Я предполагаю следующий порядок исполения:
1. Берём на исполнение любое значение языка
2. Если оно помечено как raw, то оставляем как есть
3. Если оно не список, то оставляем как есть
4. Если оно помечено как sequential, то последовательно заменяем элементы списка на результаты их исполнения
5. В противном случае параллельно (в тредпуле) заменяем элементы списка на результаты их исполнения
6. Трактуем нулевой элемент полученного списка как функцию и применяем её к всем остальным элементам.
1. Берём на исполнение любое значение языка
2. Если оно помечено как raw, то оставляем как есть
3. Если оно не список, то оставляем как есть
4. Если оно помечено как sequential, то последовательно заменяем элементы списка на результаты их исполнения
5. В противном случае параллельно (в тредпуле) заменяем элементы списка на результаты их исполнения
6. Трактуем нулевой элемент полученного списка как функцию и применяем её к всем остальным элементам.
А⚙
откуда по-твоему скалисты на проектах появляются? Почкованием?
Да
p
Нет, оптимизации есть много разных.
Partial evaluation - одна из них, когда для данной функции мы фиксируем известные на этапе компиляции аргументы и делаем её специализированную версию под них
Partial evaluation - одна из них, когда для данной функции мы фиксируем известные на этапе компиляции аргументы и делаем её специализированную версию под них
Если говорить про то что сказал Эмануил, это конст фолдинг, тут ничего запускать не надо
А⚙
Мой концепт — выполнять как можно больше в фазе «прекомпиляции». Скажем, если у нас есть программа вида:
(+ 2 3 (parseInt (readLine))то мы можем пройтись по всем её аргументам, сделав их сырыми:
(+ '2 '3 '(parseInt (readLine))и выполнить макрос
(+.optimize), который преобразует этот список в (+ 5 (parseInt (readLine)))
Поздравляю, ты переизобрёл constant folding
EG
Нет, оптимизации есть много разных.
Partial evaluation - одна из них, когда для данной функции мы фиксируем известные на этапе компиляции аргументы и делаем её специализированную версию под них
Partial evaluation - одна из них, когда для данной функции мы фиксируем известные на этапе компиляции аргументы и делаем её специализированную версию под них
Я хочу дать возможность программисту определить для любой функции
f макрос f.optimize, который принимает на вход список вида (f arg1 arg2 arg3) и возвращает новый список, которым будет заменён предыдущий.p
Хрень какая-то
AZ
Поздравляю, ты переизобрёл constant folding
это сложнее чем констант фолдинг
AZ
например цикл for от 0 до 5 заменить на анроллинг тела цикла, это не констант фолдинг внезапно