Любая надежность в рантайме - это дополнительные ресурсы. Например, Ada может контролировать, чтобы некая переменная всегда была в указанном диапазоне. Это хорошо. Но это требует, чтобы перед каждым присваиванием было два дополнительных сравнения и генерация исключения. А это и время и память.
В общем за все надо платить)





Ответить с цитированием
Размещение рекламы на форуме способствует его дальнейшему развитию 
