Исходное сообщение
"Инициатива по созданию порта PostgreSQL на языке Rust" Отправлено Аноним, 10-Янв-17 15:47
> в ЯП фишки, позволяющие делать проверки в компайлтайме. Я конечно понимаю что CS у россиян не в почете, но до того как умничать - наверное азы типа halting problem стоит почитать? Полный анализ поведения программы выполнить невозможно. Тюринг предствил математическое доказательство, взяв для примера довольно простой случай, изучающий завершится ли программа за конечное время. Поэтому если кто-то верит в всемогущесть статического анализа - он, простите, нуб и ламак, который не соизволил читануть азы по минимуму, но мнение имеет. > Потому как не только софт за эти годы стал сложнее, но и железо мощнее > и как-то глупо пользоваться этими мощностями только для проверок во время выполнения. У проверок во время выполнения есть определенная фича. Их Тюринг не жмет. Ну то-есть если вы видите фактический доступ к адресу памяти который за границей массива - это одно. А попытки в статике проанализировать может ли в принципе эта программа взять 101-й элемент массива при том что их всего 100, при всех мыслимых манипуляциях - то же самое что halting problem, вид сбоку. Поэтому таки или будут проерки в рантайме что индекс от нуля до сотни и они сожрут время, или проверок таки не будет и можно будет сунуться в 101-й элемент и даже что-то получить. А какие еще варианты есть???