p
генерация мутабельного если можно доказать отсутствие обзервабельных эффектов - стандартная оптимизация
ок, а замена чистого IO с биндами на вызовы функций?
Size: a a a
2020 June 26
NV
ок, а замена чистого IO с биндами на вызовы функций?
Примерно так оно и происходит в действительности
VY
ок, я понимаю FOAS & HOAS (meaning, use cases, pros/cons)
почитал Combining Deep and Shallow Embedding for EDSL
но я не понимаю PHOAS, что почитать\посмотреть?
почитал Combining Deep and Shallow Embedding for EDSL
но я не понимаю PHOAS, что почитать\посмотреть?
AG
phoas это по сути трюк для умиротворения тоталити чекера
AG
вот здесь оно было придумано https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf
VY
спасибо)
RB
rust, nim, v, zig, ...
nim же с gc
A
и то в расте же на любые структуры посложнее вешают рефкаунтинг
Тогда и свифт надо добавить
AK
О, класс, у нас 888 участников
M
Тут Lobster говорят обогнал luajit но только AoT версия:
https://github.com/stefandd/Tic4
https://github.com/stefandd/Tic4
AK
сейчас gc уже не модно...
GC перешел из категории «модно» в категорию «само собой разумеется»
M
GC не модный до тех пор как не придется работать с рекурсивынми структурами, а после такой работы даже в C++ его внедряют с большим удовольствием и облегчением, например так поступили внутри движка Crome при работы с DOM объектами)
https://v8.dev/blog/high-performance-cpp-gc
https://v8.dev/blog/high-performance-cpp-gc
MM
MaxGraey
GC не модный до тех пор как не придется работать с рекурсивынми структурами, а после такой работы даже в C++ его внедряют с большим удовольствием и облегчением, например так поступили внутри движка Crome при работы с DOM объектами)
https://v8.dev/blog/high-performance-cpp-gc
https://v8.dev/blog/high-performance-cpp-gc
Какое извращение. Прямо как в GCC (только те пошли ещё дальше и, вместо того чтобы писать методы Trace, сделали парсер который проходится по исходникам и генерирует функции обхода автоматически)
2020 June 27
AK
MaxGraey
Intel опубликовала спеку для AMX
https://twitter.com/rsinghal1/status/1276220448288567296
https://twitter.com/rsinghal1/status/1276220448288567296
Ссылка на твит, который содержит ссылку на страницу, которая содержит ссылку на документ :)
AN
Ссылка на твит, который содержит ссылку на страницу, которая содержит ссылку на документ :)
А теперь ещё и ссылка на оригинальный пост в телеграмме.
M
Ссылка на твит, который содержит ссылку на страницу, которая содержит ссылку на документ :)
А это что бы самые упорные и отважные до нее добрались;)
AN
MaxGraey
А это что бы самые упорные и отважные до нее добрались;)
А в документе пятьдесят страниц про cpuid, чтобы и самые упоротые не дочитали.
M
ага)