[03:27:16] <ada_ru> (Gourytch) Некоторые машины сочли бы это оскорблением.
[12:27:12] <ada_ru> (Margaret) MargaretB
[13:13:17] <ada_ru> (I_vlxy_I) ?
[13:13:39] <ada_ru> (t91x0) Бот был тупой
[15:07:58] <ada_ru> (I_vlxy_I) https://www.youtube.com/watch?v=5Q0aORpKgbQ
[15:21:48] <ada_ru> (I_vlxy_I) http://www.ada-auth.org/cpl.html
[15:21:55] <ada_ru> (I_vlxy_I) "The Ada Conforming Processors List includes all Ada 95 implementations that have been formally certified using the ACATS. (Note: Ada 2005 processors can be formally certified, and would appear in this listing, but as of this writing none have been certified.)"
[15:23:02] <ada_ru> (I_vlxy_I) То есть нет компиляторов которые бы прошли проверку на соответствие со стандартом хотя бы Ады 2005, не говоря уже о 2012
[15:26:49] <ada_ru> (I_vlxy_I) то есть, формально, современный GNAT не может даже в Аду 95, ведь его нет в списках.
[15:27:15] <ada_ru> (I_vlxy_I) последний GNAT что там есть (для Ады-95) датируется 2001 годом
[15:39:00] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <То есть нет компилят…>
А кто тут в чате из AdaCore? Пусть прокомментируют
[17:01:58] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <последний GNAT что т…>
ну по идее если они там не ломали совместимость, то "конформность" должа сохраниться
[17:02:30] <ada_ru> (Eugene) с другой стороны эти тестовые пакеты имели смысл пока Ада была языком минобороны, сейчас это уже давно не так, так что это не особо важне
[17:02:34] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <ну по идее если они …>
За 20 лет постоянных изменений? Бгг!
[17:03:07] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <с другой стороны эти…>
Чем DoD отличается от остальных коммерческих применений?
[17:03:17] <ada_ru> (Eugene) вообще эти тесты — плохая проверка, ведь как сказал ещё Дейкстра, они могут лишь показать баги, но не их отсутствие
нужна формальная верификация трансляторов
[17:03:58] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Чем DoD отличается о…>
они ставили требование полной совместимости разных реализаций, в обычных коммерческих применениях это не особо нужно
[17:04:54] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <они ставили требован…>
Нужно. Тем более что это выставляется чуть ли не как главная фича Ады
[17:05:16] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <вообще эти тесты — п…>
Если компилятор не проходит даже их, то...
[17:05:42] <ada_ru> (Eugene) так у ады та же проблема, что у хаскелла — нет больше множества реализаций, лишь один GNAT, всё остальное давно умерло
[17:11:04] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <так у ады та же проб…>
Нет
[17:11:32] <ada_ru> (Eugene) а сколько трансляторов поддерживают последний стандарт?
[17:13:03] <ada_ru> (Vinpuh) 3-4, но все они платные, так что считай их нет.
[17:13:26] <ada_ru> (I_vlxy_I) Тем не менее стандарт нужен это раз
[17:13:43] <ada_ru> (I_vlxy_I) Два - странно что они не проходят этот тест
[17:21:07] <ada_ru> (t91x0) отвечает (Eugene) на <так у ады та же проб…>
Есть же вроде реализация от Green Hills Software
[17:27:24] <ada_ru> (Eugene) отвечает (t91x0) на <Есть же вроде реализ…>
The Green Hills Ada Compilers implement all of the new enhancements defined in the ANSI/ISO/ IEC8652:1995 Ada specification
[17:36:53] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Два - странно что он…>
может они его не проходят, потому что не хотят или не знают про него )))
и кстати, где его брать, этот пакет тестов? может он стоит столько, что все прсто забивают на него
[17:38:48] <ada_ru> (I_vlxy_I) Там можно его просто скачать
[18:37:04] <ada_ru> (Максим) Gnat проходит эти тесты при каждом коммите. И их намного меньше чем регрешин тестов Ады в gcc. А от какого числа официальная бумажка у Гната, я не знаю
[18:37:38] <ada_ru> (I_vlxy_I) А почему его нет в списке? И он же их проходит и для 2012?
[18:37:48] <ada_ru> (I_vlxy_I) Или там сайт просто забросили?
[18:38:14] <ada_ru> (I_vlxy_I) Но тесты то для 2012 есть...
[18:45:21] <ada_ru> (Максим) Может сайт не обновляли, а может жалко баксов на процедуру повторной сертификации. Какую версию сертифицировать, под какую платформу. у адакоры платформ не один десяток десяток и две версии в год.
[18:46:11] <ada_ru> (I_vlxy_I) Они с 2001 года забили на это дело
[18:46:20] <ada_ru> (I_vlxy_I) Да и все забили, кажется
[21:35:56] <ada_ru> (I_vlxy_I) Вчера был на встрече российской рабочей группы по стандартизации c++.
В общем, в c++20 контрактов не будет :-(
Видимо откладывается до c++23
[23:37:33] <ada_ru> (Eugene) f rjywtgns& ))
[23:41:02] <ada_ru> (I_vlxy_I) Да, концепты будут
[23:41:08] <ada_ru> (I_vlxy_I) и Корутины будут
[23:44:05] <ada_ru> (Eugene) а в аду не собираются добавить концепты-трейты-классы_типов?
[23:45:21] <ada_ru> (I_vlxy_I) завезли бы в Аду мет, было бы хорошо
[23:46:03] <ada_ru> (Eugene) какой мет? о_О
[23:48:16] <ada_ru> (I_vlxy_I) метапрограммирование
[23:48:31] <ada_ru> (I_vlxy_I) чтобы больше всякого можно было в компайлтайме
[23:53:16] <ada_ru> (Anonymus62) отвечает (Eugene) на <какой мет? о_О>
Метамфетамин :-(