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