Исходное сообщение
"Опубликован язык программирования Ruby 3.3" Отправлено Аноним, 25-Дек-23 22:47
> мистер "слышал звон, да не знаю где он"? > намного лучше, чем это сделано в 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...