[12:03:41] <vgodunko> valexey: у автомобилистов проблемы и без моды имеют место.
[12:03:48] <vgodunko> self driving car - мода
[12:05:19] <vgodunko> Использование Ada и сертификация рассматривается в куда более узком смысле - для бортовых модулей управления.
[12:06:12] <vgodunko> И здесь какая-никакая а ниша как раз есть.
[22:38:09] <valexey> автопилот это не мода, это будущее :-)
[22:38:28] <valexey> и автопилоты на плюсах пишутся
[22:38:36] <valexey> а что-то простое да, можно и Аде отдать.
[22:44:42] <landgraf> смешно )
[23:06:31] <valexey> ну а что? даже в мире Ады что-то простое отдают SPARK'у, а что-то посложнее да поответственнее - уже просто Аде.
[23:06:53] <valexey> А что-то совсем элементарное можно и Coq какому отдать.
[23:18:14] <valexey> кстати, в плане защиты от нулевых указателей в Аде используется какой-то ну совсем уж допотопный костыль. В современных яп все сильно лучше в этом плане.