M
numba все таки весьма ограниченный сабсет, а еще не все функции у numba быстрее чем в CPython)
Size: a a a
2020 April 04
МБ
Есть понимание, почему некоторые языки производительные, а другие не очень? Например питон, руби, js. Js когда-то был тормозом, но потом пришёл гугл. Неужели ускорение стоит так дорого? Внедрять jit? Или это специфика языков. Какие-то проще оптимизировать?
Google имеет кучу пользоваелей, поэтому его решения заметны. А так-то все эти техники довольно давно "академия" предлагала. Но кто знает об "академии"? Нужны масштабные приложения.
Я к тому, что не все оптимизации такие уж и трудоёмкие. Но надо их собрать вместе, оттестировать, найти нишу для всего этого, донести мысль до публики. Вот для этого Google нужен, как раз
Я к тому, что не все оптимизации такие уж и трудоёмкие. Но надо их собрать вместе, оттестировать, найти нишу для всего этого, донести мысль до публики. Вот для этого Google нужен, как раз
а
Кстати, а где можно почитать про подходы парсинга языка и трансляции его в ассемблер ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
МБ
Кстати, а где можно почитать про подходы парсинга языка и трансляции его в ассемблер ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
Это, наверное, очень большая экзотика нынче, чтобы было без AST.
а
Это, наверное, очень большая экзотика нынче, чтобы было без AST.
тогда как его понять?
МБ
Ну... Попробуйте в Lisp-е или WASM-е чего-нибудь накодить. Возможно, поможет пониманию.
AK
Кстати, а где можно почитать про подходы парсинга языка и трансляции его в ассемблер ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
Перевод текста в AST с помощью top-down парсера, а затем в некий стековый байткод путем обхода AST в глубину - это и есть самый простой и примитивный способ
M
тогда как его понять?
AST это дерево. Вершины - это правила, ребра - это символы. Строиться из потока / списка токенов после лексического разбора. Нужен для постороения символьной таблицы, семантического анализа и дальнейшей трансформации (например в IR) или непосредственной генерации целевого низкоуровневого кода. Что здесь сложного?
p
MaxGraey
numba все таки весьма ограниченный сабсет, а еще не все функции у numba быстрее чем в CPython)
Numpy != Cpython
а
MaxGraey
AST это дерево. Вершины - это правила, ребра - это символы. Строиться из потока / списка токенов после лексического разбора. Нужен для постороения символьной таблицы, семантического анализа и дальнейшей трансформации (например в IR) или непосредственной генерации целевого низкоуровневого кода. Что здесь сложного?
и как его использовать ?
а
можно какой-то пример построения ?
p
Google имеет кучу пользоваелей, поэтому его решения заметны. А так-то все эти техники довольно давно "академия" предлагала. Но кто знает об "академии"? Нужны масштабные приложения.
Я к тому, что не все оптимизации такие уж и трудоёмкие. Но надо их собрать вместе, оттестировать, найти нишу для всего этого, донести мысль до публики. Вот для этого Google нужен, как раз
Я к тому, что не все оптимизации такие уж и трудоёмкие. Но надо их собрать вместе, оттестировать, найти нишу для всего этого, донести мысль до публики. Вот для этого Google нужен, как раз
А ещё проще сделать в языке нормальные типы данных и отсутствие возможности добавления новых полей в рантайме. И оптимизировать станет значительно проще.
а
MaxGraey
AST это дерево. Вершины - это правила, ребра - это символы. Строиться из потока / списка токенов после лексического разбора. Нужен для постороения символьной таблицы, семантического анализа и дальнейшей трансформации (например в IR) или непосредственной генерации целевого низкоуровневого кода. Что здесь сложного?
что значит вершины — правила ?
p
Кстати, а где можно почитать про подходы парсинга языка и трансляции его в ассемблер ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
Пишешь транслятор в LLVM IR и все
p
можно какой-то пример построения ?
2 + 3 * 9
Парсится как дерево:
Парсится как дерево:
+
2 *
3 9а
2 + 3 * 9
Парсится как дерево:
Парсится как дерево:
+
2 *
3 9хмм
а
вроде понятно
G
Кстати, а где можно почитать про подходы парсинга языка и трансляции его в ассемблер ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
А то эти АСТ мне пока-что совершенно непонятны, кажется не с них начинают.
По идее же есть какие-то простые/примитивные способы парсинга и трансляции ?
"Language Implementation Patterns"
а
вроде понятно
но как это получить...
а
особенно циклы непонятно