>> в ЯП фишки, позволяющие делать проверки в компайлтайме.
> Я конечно понимаю что CS у россиян не в почете, но до
> того как умничать - наверное азы типа halting problem стоит почитать?

Что, кроме тюринга ничего больше не знаешь? А моежт еще стоит, до того как влезать с тюрингом где можно и нельзя, азы компайлостроения почитать?

> Полный анализ поведения программы выполнить невозможно.

Где ты увидел "полный анализ", болезный? Ну и следуя твоей логике, вообще никакие проверки не нужны, ведь они не полные.

> Тюринг предствил математическое
> доказательство, взяв для примера довольно простой случай, изучающий завершится ли программа
> за конечное время.

Ну давай, сформулируй для частного случая анализа, я хоть посмеюсь.

> Поэтому если кто-то верит в всемогущесть статического анализа
> - он, простите, нуб и ламак, который не соизволил читануть азы
> по минимуму, но мнение имеет.

А ты самокритичен, этого не отнять.

> А попытки в статике проанализировать
> может ли в принципе эта программа взять 101-й элемент массива при
> том что их всего 100, при всех мыслимых манипуляциях - то
> же самое что halting problem, вид сбоку.

Cпасибо, давно так не смеялся.

> У проверок во время выполнения есть определенная фича. Их Тюринг не жмет.

Ну и сиди на своем питоне и прочих базиках, как раз для таких экспертов и знатоков.