> мистер "слышал звон, да не знаю где он"?
> намного лучше, чем это сделано в Ada и без снижения производительности, как это происходит в Ada.

Ясно, понятно... Опеннетная экспертиза как она есть. Ты сообщи об этом ребятам из Nvidia, а то они, дурачки, не знают:

> “Looking at the assembly generated from SPARK, it was almost identical to that from the C code,” he said. “I did not see any performance difference at all. We proved all of our properties, so we didn’t need to enable runtime checks.”

https://www.adacore.com/uploads/techPapers/222559-adacore-nv...