Вышел первый релиз GNATprove под GNU GPL

Пока бесплатный компилятор Ады нельзя использовать для разработки закрытых программ - не взлетит.

И да, ссылку на инструмент неплохо бы добавить.

Ну, обычно у тех разработчиков, которые хотят писать на Аде коммерческие программы, есть деньги на GNAT Pro.

Как по мне, так это правильная политика.

разработчиков, которые хотят писать на Аде коммерческие программы

...не существует в природе.

Как по мне, так это правильная политика.

Зависит от преследуемой цели.

честно говоря никогда не пользовался, в общем пока не могу собрать аду для компиляции под арм, временно забросил это дело.

...не существует в природе.

И для кого только проводится GNAT Industrial User Day — ума не приложу..

И для кого только проводится GNAT Industrial User Day — ума не приложу..

Для тех кто _вынужден_ (не «хочет», а вынужден) писать на Аде.

Пока бесплатный компилятор Ады нельзя использовать для разработки закрытых

Если мне не изменяет память, тот который входит в состав gcc, по словам gcc-шной же команды, поскольку он подпадает под общую лицензию gcc можно. Ada Core злобствовала по этому поводу, но по существу возразить не смогла.

Любопытно, а ссылок нет? Да, и боюсь, засудят, если захотят.

Кто-то в двух словах может обьяснить профит Ады? Писал на ней год по курсу ПРВ, семантика не понравилась, система типов тоже не фонтан (получше, конечно, чем С, но всё же).

Пока бесплатный компилятор Ады нельзя использовать для разработки закрытых

Если мне не изменяет память, тот который входит в состав gcc

Ада - это комплект из компилятора и рантайма. Компилятор Ады, входящий в GCC, позволяет создавать закрытый код, но рантайм - под вирусной GPL, и слинкованная с ним программа автоматом попадает под GPL. Полагаю, если написать LGPL-рантайм... но кто ж его напишет :)

Полагаю, если написать LGPL-рантайм... но кто ж его напишет :)

Кому он нужен, пусть скинутся и напишут.

Кому он нужен, пусть скинутся и напишут.

Капитан, вы сегодня в ударе.

Попробывал бы писать закрытый софт на Аде, но нет десятков тысяч евро на компилятор и нет желания весь рантайм переписывать. Поэтому C++. Более страшно и более бесплатно.