Исправление tp_for_my_bunghole, (текущая версия) :
Сейчас 2 основных подхода к управлению памятью, ручное управление и сборщик мусора во время исполнения.
Rust предлагает управление памятью с помощью синтаксиса, но в таком виде что кажется не снижает ментальную нагрузку на программиста.
Другой вариант при наличии правильного синтаксиса без хаков, ручное управление памятью но с использованием статического анализатора задача которого тщательное изучение ВСЕГО кода проекта и подсказывание программисту где он забыл проверить управление памятью, или где точно можно вставить уборку мусора.
Компилятор обычно проводит простые проверки мимоходом, его задача быстро компилять и показывать что он не понимает. Статический анализатор это уже область AI, вместо исполняемого кода можно генерировать подробные описания характеристик написанного кода, подсказывать способы оптимизации.
В случае со стандартным C, программисты нередко используют консервативный сборщик мусора(Hans Boehm) потому что не уверены в ручном управлении памятью на данном этапе развития проекта. Тоже такой хак.
Исходная версия tp_for_my_bunghole, :
Сейчас 2 основных подхода к управлению памятью, ручное управление и сборщик мусора во время исполнения.
Rust предлагает управление памятью с помощью синтаксиса, но в таком виде что кажется не снижает ментальную нагрузку на программиста.
Другой вариант при наличии правильного синтаксиса без хаков, ручное управление памятью но с использованием статического анализатора основной задача которого тащательное изучение ВСЕГО кода проекта и подсказывание программисту где он забыл проверить управление памятью, или где точно можно вставить уборку мусора.
Компилятор обычно проводит простые проверки мимоходом, его задача быстро компилять и показывать что он не понимает. Статический анализатор это уже область AI, вместо исполняемого кода можно генерировать подробные описания характеристик написанного кода, подсказывать способы оптимизации.
В случае со стандартным C, программисты нередко используют консервативный сборщик мусора(Hans Boehm) потому что не уверены в ручном управлении памятью на данном этапе развития проекта. Тоже такой хак.