t
Ага. В любом случае, по тематике бинарной трансляции я бы посмотрел в сторону QEMU. TCG более-менее документирован и код Беллара всегда интересно изучать (разгадывать :).
Ага понял
Size: a a a
2020 December 02
M
да и в 10ые и 20ые года этого века это выглядит виросописательством
Да не я листал куча пейперов для полиморфной компиляции. Приложение и правда не совсем понятно но пара десятков пейперов точно наберётся
M
Я правильно понимаю что валидация программы это дерево предикатов? Я не читал ещё про семантический анализ книгу, но из того что я понял, получается, к примеру, если у нас аргумент функции разрешим, тогда срабатывают дочерние правила типа проверки разрешимости методов и полей? Есть где в живую посмотреть?
2020 December 03
PS
Вопрос возможно не по теме, но в этом чате есть люди как из jet brains, так и занимающиеся rust-analyzer. Плагин JetBrains Rust использует rust-analyzer или там свой анализ, как у Idea для Java, например?
s
Там своё.
PS
Там своё.
Спасибо. Как-то упустил момент, что он оказывается опенсорсный. Просто некоторые ошибки не подсвечивает, поэтому и заинтересовался.
h
Читаю про Rust. Написано, что у него compile-time memory management system по большей части.
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
K
Читаю про Rust. Написано, что у него compile-time memory management system по большей части.
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
Не, просто обычный RAII. Скоуп закрылся -- память освободилась, никакой магии
dt
Читаю про Rust. Написано, что у него compile-time memory management system по большей части.
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
Возможно имеется ввиду что rustc способен статически высчитывать что где надо выделить память.
T1
Читаю про Rust. Написано, что у него compile-time memory management system по большей части.
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
Можете в простом виде объяснить, что это? Память на будущее как-то берется что-ли?
link
h
Не, просто обычный RAII. Скоуп закрылся -- память освободилась, никакой магии
как это "обычный"? У каждого япа свой. Разве нет?
h
как это "обычный"? У каждого япа свой. Разве нет?
ну. своя система
K
как это "обычный"? У каждого япа свой. Разве нет?
Концепция кажется одна, а детали возможно и могут варьировать
dt
как это "обычный"? У каждого япа свой. Разве нет?
Ну, там особо нечего городить. Принцип прост.
h
Я догадываюсь, что это, для того, чтобы как в плюсах не стрелять по ногам.
Но как компайл-тайм система управления памятью решает эту проблему?
Но как компайл-тайм система управления памятью решает эту проблему?
dt
Я догадываюсь, что это, для того, чтобы как в плюсах не стрелять по ногам.
Но как компайл-тайм система управления памятью решает эту проблему?
Но как компайл-тайм система управления памятью решает эту проблему?
Ну так и в плюсах раи.
h
Ну так и в плюсах раи.
я не про раии.
я про compile-time memory management system
я про compile-time memory management system
AT
я не про раии.
я про compile-time memory management system
я про compile-time memory management system
"Compile-time memory management system" == RAII. В данном случае с вероятностью 99%. Хотя источник Вы не указали.
dt
"Compile-time memory management system" == RAII. В данном случае с вероятностью 99%. Хотя источник Вы не указали.
Концепция владения ресурсами же - по более одного процента будет.
h
"Compile-time memory management system" == RAII. В данном случае с вероятностью 99%. Хотя источник Вы не указали.
-_-
лады
лады