[02:11:25] <ada_ru> (wladlos) отвечает (Lieutenant_Commander_Data) на <Данные из первых рук…>
Практически. По-моему, если мне память не изменяет, это 2013-2914 год.
[16:50:22] <ada_ru> (Борис) отвечает (I_vlxy_I) на <но релизнотов ещё не…>
Emma Adby:
Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2019 is here! See https://www.adacore.com/download.
This release is supported on the same platforms as last year:
Windows, Linux, and Mac 64-bit native
RISC-V hosted on Linux
ARM 32 bits hosted on 64-bit Linux, Mac, and Windows
GNAT Community now includes a number of fixes and enhancements, most notably:
The SPARK language now has support for pointers, a fantastic milestone for the language! Watch https://blog.adacore.com for an upcoming article dedicated to this new feature.
The installer for Windows and Linux now contains pre-built binary distributions of Libadalang, a very powerful language tooling library for Ada and SPARK.
Check out the README for some additional platform-specific notes.
For those wanting to get up and running with the Ada and SPARK programming languages, visit https://learn.adacore.com/, an interactive platform which allows you to compile, run and even prove your code!
[16:50:38] <ada_ru> (I_vlxy_I) не прошло и полгода 😊
[16:51:05] <ada_ru> (Борис) Ну вот в сегодня 15:47 разослали твой анонс.
[16:51:11] <ada_ru> (I_vlxy_I) да, я видел.
[16:51:46] <ada_ru> (I_vlxy_I) https://blog.adacore.com/gnat-community-2019-is-here
[16:52:42] <ada_ru> (I_vlxy_I) "The SPARK language now has support for pointers, a fantastic milestone for the language! Watch https://blog.adacore.com for an upcoming article dedicated to this new feature."
Вот эта тема очень интересна.
[16:54:36] <ada_ru> (wladlos) отвечает (I_vlxy_I) на <"The SPARK language …>
Пардон, а раньше - что было? Или они имеют в виду - не в смыле Си?
[16:54:58] <ada_ru> (I_vlxy_I) в смысле там не было поддержки указателей. совсем.
[16:55:01] <ada_ru> (I_vlxy_I) это ж спарк
[16:55:40] <ada_ru> (wladlos) А! я как-то не обратил внимания...
[16:56:12] <ada_ru> (I_vlxy_I) Ада по большей части сейчас спарком интересна, так то. В современном мире.
[16:57:01] <ada_ru> (wladlos) Только вы это сишникам не говорите!
И - не расказывайте что там в профиле и как ограничено. Не поймут...
[16:57:25] <ada_ru> (I_vlxy_I) ок. не буду себе рассказывать!
[17:04:38] <ada_ru> (wladlos) ХНачит вы - уже не сишник.
Как там товарищи из Святой Инквизиции говорили: "Лишь только допустив только саму мысль о возможности сделки с Дьяволом, ты уже заключил с ним сделку!"
Поэтому, ежели индивид, называющий (называвший) себя сишником, начал даже только просматривать инфу о чём-то что-то подобном Аде, то он уже вверг себя навечно в пучину ереси и грехопадения! :)
А уж про расплату и душевные муки я и - говорить не буду!...
Ничто не сравнится со страданиями разуверившегося курвоскобочника! Душа его, от момента выглядывания за механизм инлудинга, будет пребывать с адском пламени вечных мук сомнений и метания между двумя сторонами Силы!
[17:05:55] <ada_ru> (I_vlxy_I) Ну, слушай, значит на крестовой конфе не грешников почти и не было 😊 Там все да знакомы с каким-нибудь растом, го или чем-то ещё эдаким.
[17:06:41] <ada_ru> (I_vlxy_I) не говоря уже о тех, кто макнулся в FP и TotalFP с тамошними доказательными методами программирования, которые строже того же спарка.
[17:08:20] <ada_ru> (wladlos) Ну, почему же?
Я, вот, например, начинал на МАКРО-11, Фортране, Паскале и Модуле-2.
А Си был у меня уже года через три после начала карьеры.
У меня уже хороший такой иммунитет был от щенячего восторга. :)
[17:10:12] <ada_ru> (I_vlxy_I) не, я сразу с С++ начинал 😊 Винда 95, вижуалстудия и Game SDK (aka DirectX 1, потом 3, 5).
[17:10:38] <ada_ru> (I_vlxy_I) уже потом всякие досы и прочее было.
[17:10:42] <ada_ru> (wladlos) При том, меня, как программиста "ставили" на ФФ НГУ, в ИТИПМ-е и в группе Кронос и у Ершова. Так, что я не на ХеллоУорлде вырос. Там к делу подходили не из сиюминутных интересов или хотелок, а - от базиса и вкчного. :)
Я б и сам инквизитором стал, но характером и целями не вышел.
[17:12:45] <ada_ru> (wladlos) Вот представь, как я мог воспринимать Си после работе на Модуле-2 на КРоносе?
Только - как анекдот и ретроградство какое-то! :)
[17:12:49] <ada_ru> (I_vlxy_I) поскольку работал в direct x, то попытка пошаговоотладиться обычно приводила к необходимости холодной перезагрузки системы - экран то блокировался программой, которая блокировалась отладчиком. 😊
[17:13:48] <ada_ru> (wladlos) Ладно, минутка злого юмора закончилась. :)
[17:14:55] <ada_ru> (I_vlxy_I) да я до сих пор фшоке, что posix и другие системные либы (в других осях в том числе) имеют интерфейс в виде сишных хедеров, а не в виде адекватной спеки из которой можно было бы полностью автоматом генерить биндинги к чему угодно.
собственно спеки для модула-2 модулей вполне подошли бы.
[17:15:47] <ada_ru> (I_vlxy_I) а то, что в posix какой-нибудь символ/функция/глобальная переменная может быть как функцией/переменной, так и макросом, который хз во что развернется - это вообще жесть.
[17:15:49] <ada_ru> (wladlos) Не очень. Там смый большой головняк - адресная арифметика и нуль-терминальные строки.
[17:16:15] <ada_ru> (wladlos) Ну, и - то, что ты упомянул.
[17:16:51] <ada_ru> (I_vlxy_I) то есть ладно, что там под капотом, но пользователь то почему страдать должен?
[17:19:41] <ada_ru> (I_vlxy_I) отвечает (wladlos) на <Только вы это сишник…>
кстати, понимают. то есть есть запрос на то, чтобы в плюсах можно было явным образом указать какой в данном модуле использовать профиль и что там разрешить, а что запретить.
и такой запрос звучит всё чаще. и в комитете про это в курсе. Надо только адекватно сформулировать и предложить хоть какое-то решение.
Подать proposal сейчас довольно просто.
[17:23:59] <ada_ru> (wladlos) Нет. я туда - НИ НОГОЙ!
Я исхожу из того, что то, что изначально каличное, прилепками и заплатками не вылечить.
"И никто не вливает молодого вина в мехи ветхие; а иначе молодое вино прорвет мехи, и само вытечет, и мехи пропадут; но молодое вино должно вливать в мехи новые; тогда сбережется и то и другое." :)
[17:25:14] <ada_ru> (I_vlxy_I) а нет изначально идеальных языков, увы. они все или ущербные/очень узкоспециализированные, или неконсистентные, или устаревшие, или всё одновременно.
А, ну и ещё испорченные последующими изменениями конечно же.
[17:25:36] <ada_ru> (I_vlxy_I) А если ничего из этого, то значит они просто либо не существуют либо не применяются.
[17:44:00] <ada_ru> (wladlos) Не знаю. Я пытаюсь донести свой опыт и наблюдения и - таковые же - тех людей среди которых я учился программированию или с которыми работал. Естественно - по успешности проектов. Нельзя сказать, что я сам не написал больших и успешных проектов на Си/Си++. Но это - всё же - не родной ЯП моих мозговых извилин. :)
[17:45:02] <ada_ru> (wladlos) На виртовских языках мне думается, проектируется и программируется легче. И ошибок, разного уровня, почему-то совершается на порядок ментше.
[17:46:20] <ada_ru> (wladlos) Помню, что олно время было так, что я тормозил работу на тесты и проверки в Дельфи, потому, что не верил, что может быть так, что программа сразу начинала работать как надо. :)
[17:46:45] <ada_ru> (wladlos) А там - не просто были "формочки с накиданными контролами". Далеко, причём.
[17:48:02] <ada_ru> (wladlos) Поэтому я ищё проектов на Аде. Хчется очень поскрипеть над решением задачи в её мире.
Не нахожу только. А самому "в стол" писать - удовольствия уже мало. Да и времени жизни не так много остаётся...
[17:49:39] <ada_ru> (I_vlxy_I) отвечает (wladlos) на <Поэтому я ищу проект…>
а какого рода проекты интересны?
[17:50:13] <ada_ru> (I_vlxy_I) если просто пользу нанести непоправимую Ада-сообществу, то можно в инфраструктурные либы влиться, которые сейчас развиваются.
[17:50:25] <ada_ru> (I_vlxy_I) та же матрешка например
[17:50:27] <ada_ru> (wladlos) Системы управления, встроенные системы, авиакосмос.
[17:50:45] <ada_ru> (I_vlxy_I) есть штуки три рантайма/стандартных либ для Ады (не от адакоры, то есть альтернативных)
[17:51:11] <ada_ru> (wladlos) Это даст мне семью прокормить?
[17:51:44] <ada_ru> (I_vlxy_I) думаю нет
[17:51:48] <ada_ru> (wladlos) Я отвественен за жизнь и её качество шести человек.
[17:52:36] <ada_ru> (I_vlxy_I) но в системы управления и авиакосмос всё же весьма специфический порог вхождения. например чтобы в том же SpaceX работать (пофиг на каком ЯП) нужно иметь как минимум гринкарту штатовскую.
[17:52:42] <ada_ru> (I_vlxy_I) а лучше - гражданство.
[17:53:30] <ada_ru> (wladlos) Вот - в том-то и - дло. Поэтому, что касается и оберонов, что - Ады, - только и остаётся, что читать о нововведениях и приёмах и применять где-то в мейнстриме, переосмыслив и приспособив под общепринятое уродство и костыли.
[17:54:00] <ada_ru> (wladlos) отвечает (I_vlxy_I) на <но в системы управле…>
Я стараюсь не участвовать в аферах и "рогах и копытах".
[17:54:36] <ada_ru> (I_vlxy_I) ну, можно не SpaceX взять, а какой-нибудь DoD'овский проект. один фиг.
[17:54:53] <ada_ru> (I_vlxy_I) в эту область проникнуть не так то просто в принципе.
[17:55:23] <ada_ru> (I_vlxy_I) а у нас в стране, у меня периодически волосы дыбом встают от того, КАК подобные системы пишут. и на чём. и кто.
[18:04:32] <ada_ru> (I_vlxy_I) как сказал один мой коллега из штатов, после собеседования одного чела - я очень рад, что у вас в этой отрасли работают такие люди.
[18:32:32] <ada_ru> (Lieutenant_Commander_Data) отвечает (I_vlxy_I) на <но в системы управле…>
гражданство
[18:32:50] <ada_ru> (Lieutenant_Commander_Data) отвечает (I_vlxy_I) на <ну, можно не SpaceX …>
кто такие DoD ?
[18:33:02] <ada_ru> (I_vlxy_I) Department of Defence
[18:33:54] <ada_ru> (Lieutenant_Commander_Data) ааа
[18:34:48] <ada_ru> (Lieutenant_Commander_Data) лучше всякую военщину обходить стороной )
[18:34:57] <ada_ru> (I_vlxy_I) причем любую
[18:35:05] <ada_ru> (I_vlxy_I) любой страны
[18:36:03] <ada_ru> (I_vlxy_I) но в случае Ады это не так то просто 😊
[18:36:27] <ada_ru> (I_vlxy_I) изначально же Ada это pet project DoD'a.
[18:39:09] <ada_ru> (Максим) тю, а ктож будет убивать человеков!
[18:39:56] <ada_ru> (I_vlxy_I) убивая защищай! защищая убивай! ну или зачищая
[18:41:10] <ada_ru> (Lieutenant_Commander_Data) отвечает (Максим) на <тю, а ктож будет уби…>
<прислал наклейку> 😁
[21:55:21] <ada_ru> (Oleg) отвечает (wladlos) на <Вот - в том-то и - д…>
Ну боинг уже тоже Рога и Копыта похоже...
[21:56:05] <ada_ru> (Oleg) А я вот очередной проектик на Go написал 😊 до Ады руки не дошли, вот может всетаки нативное Linux приложение таки на аде напишу
[21:56:18] <ada_ru> (Oleg) Кусочек для Radius сервера
[22:02:03] <ada_ru> (I_vlxy_I) Го конкретно местами прекрасен - например легкостью кросскомпиляции. написали микросервис под линух и тут внезапно оказалось что надо и виндовозникам выдать прям таки на руки екзешник, чтобы они у себя там потестили. И вот вообще без проблем на линуксе кросскомпильнули для винды.
[22:02:19] <ada_ru> (I_vlxy_I) без доустановки чего-либо и без донастройки.
[22:05:20] <ada_ru> (I_vlxy_I) а одну утилиту для виндовозников я так вообще чисто в линуксе на Го писал 🙂 использовала Win32 API