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

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

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