Здравствуйте, Pzz, Вы писали:

ARK>>Так что сама идея довольно простая. Там, где верификатор не знает, корректная операция или нет — он заставляет программиста вставить рантайм-проверку.

Pzz>А чё б ему самому не вставить проверку там, где он не уверен?

Да ради бога, пусть вставляет. Просто если он сам не вставит, а проверка в этом месте необходима, то программа не скомпилируется.

Пардон, неправильно понял. В смысле, почему бы самому компилятору не вставить?
Да, можно, почему нет. Если мы допускаем рантайм-ошибки и исключения, это самый простой выход — если проверка провалилась, генерим ошибку.
Там, где рантайм-ошибки и исключения не допускаются — например, в ядре ОС — там придется программисту самому вставлять проверки и реагировать на ошибки.