[07:32:27] <ada_ru> (Eugene) Ишбиа, кстати, помер в 2007 г.
[07:33:13] <ada_ru> (Eugene) "LIS (Language d'Implementation de Systèmes) was a system implementation programming language designed by Jean Ichbiah, who later designed Ada.
LIS was used to implement the compiler for the Ada-0 subset of Ada at Karlsruhe on the BS2000 Siemens operating system.[1] Later on the Karlsruhe Ada compilation system got rewritten in Ada-0 itself, which was easy, because LIS and Ada-0 are very close. "
[07:35:21] <ada_ru> (Eugene) вот, возможно, Аде следовало оставаться в варианте Ада-0 )))
[07:36:21] <ada_ru> (Eugene) «LIS was an experimental implementation language designed by Jean Ichbiah on Siris8. LIS was not used on commercial CII products. LIS was inspired by Pascal and Simula and has contributed to the definition of Ada.»
[09:04:46] <ada_ru> (Lieutenant_Commander_Data) отвечает (vmmr0) на <>
привет Роман!
[09:35:53] <ada_ru> (vmmr0) Здравствуйте!
У меня такой вопрос: я тщетно попытался искать вакансии по Ada в сети и на hh в частности. Единственное, что попадается в малых количествах - это предложения на биржах, типа upwork. Но я не имею опыта работы с ними. Можете что-нибудь посоветовать по поводу работы, связанной с Адой для новичка? С Адой мне работать не доводилось. Только изучал её возможности по Language Reference и некоторым ресурсам в сети. Но имею интерес к языкам программирования и способность быстро разбираться в сути 😊 . Также имею 3-летний опыт работы с C#/ASP.NET.
[10:09:50] <ada_ru> (Eugene) для ады, кстати, есть компилятор в .NET, вдруг кому пригодится...
[10:13:31] <ada_ru> (Eugene) кстати, при установке этот gnat-gpl-2014-dotnet-windows-bin.exe требует SDK, но не пишет, какой именно.
кто-нить в курсе, что именно ему надо?
[10:14:27] <ada_ru> (vmmr0) отвечает (Eugene) на <для ады, кстати, ест…>
Как-то он староват. Поэтому я в его сторону не смотрел.
[10:16:50] <ada_ru> (I_vlxy_I) староват и с ограничениями в плане языка
[10:16:54] <ada_ru> (I_vlxy_I) не все реализовано вроде
[10:16:58] <ada_ru> (I_vlxy_I) как и для jvm
[10:18:24] <ada_ru> (I_vlxy_I) но для хелловорлдов осмысленного размера может и сгодится
[10:47:50] <ada_ru> (I_vlxy_I) отвечает (vmmr0) на <Здравствуйте!
У меня…>
В СНГ вакансии на Аде, видимо, надо создавать самостоятельно, ну либо в адакору идти работать удаленно.
[10:48:12] <ada_ru> (I_vlxy_I) Это если хочется денег за программирование на Аде
[10:49:51] <ada_ru> (vmmr0) Хочется. К сожалению, программирование для меня - единственная приемлемая работа (чтобы по душе и с деньгами).
[10:50:26] <ada_ru> (I_vlxy_I) Днём писать на шарпе и за деньги, ночью же на Аде и для души :-)
[10:54:05] <ada_ru> (vmmr0) В этой ветке форума https://www.ada-ru.org/forum/p1386426107_1.html Vadim Godunko говорит:
Для поиска работы в России можно выслать резюме в мой адрес.
Кто-нибудь знает, как выйти на Вадима Годунко?
[11:05:24] <ada_ru> (I_vlxy_I) 12 лет назад.. многое могло измениться
[11:06:17] <ada_ru> (vmmr0) отвечает (I_vlxy_I) на <Днём писать на шарпе…>
Для души я писал, когда работал в вузе. Сейчас на это катастрофически нет времени.
[11:06:21] <ada_ru> (I_vlxy_I) С тех пор например появился linkedin и вошёл в широкое употребление
[11:06:58] <ada_ru> (I_vlxy_I) Ну, то есть он и тогда уже был
[11:07:15] <ada_ru> (I_vlxy_I) Но не столь массово юзался
[11:07:45] <ada_ru> (I_vlxy_I) Думаю Вадима можно там поискать например
[11:13:22] <ada_ru> (I_vlxy_I) Ещё в ирке можно
[11:13:30] <ada_ru> (I_vlxy_I) И в джаббере
[11:13:51] <ada_ru> (I_vlxy_I) В соотв. конфах
[11:15:50] <ada_ru> (I_vlxy_I) Но скорее в ирке
[11:32:50] <ada_ru> (I_vlxy_I) «IRC канал #ada в сети RusNet»
[11:34:07] <nordwind> Он там один был когда я последний раз ирк запускал
[11:35:06] <nordwind> С елеграмма он ушел или не приходил?
[11:37:30] <ada_ru> (I_vlxy_I) Не помню :-(
[11:37:38] <ada_ru> (I_vlxy_I) Но в ирку можно стукнуться
[11:42:38] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <В СНГ вакансии на Ад…>
Было же вроде у Бериева, они же там вроде перевели проект с модулы-2 на аду и переучили программеров за две недели )))
[11:43:40] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Днём писать на шарпе…>
да можно и днём и ночью писать на аде для дотнета, а потом декомпилировать в шарп и отдавать заказчику )))
[11:44:08] <ada_ru> (Eugene) вот только узнать бы, какой там ему SDK надо, а то я щас кучу понаставил, а всё равно не подходит...
[11:45:44] <ada_ru> (Eugene) отвечает (vmmr0) на <В этой ветке форума …>
а это не его почта? godunko@adacore.com
[11:49:48] <ada_ru> (Eugene) 16 лет назад Зуев ещё участвовал на форуме Ada-ru, а щас, похоже, уже давно ушёл от темы ады...
хотя в чате компеляторщиков появляется время от времени
[11:52:47] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <да можно и днём и но…>
Оно никогда не пройдёт кодревью
[11:53:31] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <Было же вроде у Бери…>
Это примерно как сошников за 2 недели на C++ переучить? :-)
[11:55:28] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Это примерно как сош…>
ну они там писали, что уних нормально прошло такое переобучение за две недели )))
[12:00:11] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Оно никогда не пройд…>
когда тебя это останавливало? я помню твой код, в котором ты кучу разных операторов в один оператор слепливал через запятую...
[12:00:43] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <когда тебя это остан…>
Дык это ж не мой продакшн код :-)
[12:01:14] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <ну они там писали, ч…>
Я просто представляю какое там качество было этого переобучения. :-)
[12:01:47] <ada_ru> (Eugene) да хуже чем на модуле не было бы )))
[12:07:30] <ada_ru> (I_vlxy_I) Ну, просто по аналогии с c -> c++
[12:08:29] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Ну, просто по аналог…>
ну, модула-2 далеко не си, и ада далеко не с++
разницы между модулой-2 и адой почти нет, ну разве что модель параллелизма другая, да некоторые типы данных дополнительные
[12:08:50] <ada_ru> (Eugene) ну и в современной аде ещё расширение записей и всякое типа контрактное программирвоание
[12:10:09] <ada_ru> (Eugene) занятно, эти самые контракты в аде появились в 2012г, а в эйфелле, который считается образцом контрактного программирования -- в 1986 г.
но ведь в те же годы они, эти контракты, были в школьном языке Ершол/ШАЯ/РАЯ/КуМир...
[12:16:57] <ada_ru> (Eugene) Sergey I. Rybin
Re: [ada_ru] Re: Могут ли быть общие интересы в Ада РУ?
2012-06-09 09:10:40
Sergei Lodyagin wrote:
> хотя многие хотят иметь хороший, стабильный
> и бесплатный компилятор.
Вот этого - не могу понять! Такое можно только украсть...
Скажите, ну кто вам забесплатно станет делать хороший компилятор, и зачем?
Работая с 1996 года в конторе, которая делает хороший и стабильный компилятор, я изнутри вижу, сколько это стоит конторе. Причем стоит не собственно запограммировать компилятор и инфраструктуру вокруг (это-то как раз легко и весело), а сделать все это хорошим и стабильным.
И совершенно не понимаю, как такое можно раздавать бесплатно.
И, главное, зачем.
[12:23:58] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <ну, модула-2 далеко …>
Разница в семантике и наворотах языка между модулой-2 и адой-2012 примерно как между современным Си и С++.
[12:24:35] <ada_ru> (I_vlxy_I) Начать допустим с ООП и дженериков. Перегрузок функций.
[12:25:00] <ada_ru> (Eugene) да это всё мелочи в плане обучения проф. программистами
[12:25:30] <ada_ru> (Eugene) вот видимо на это и потратили аж целых две недели
[12:29:30] <ada_ru> (Eugene) kazakov1961
Re: [ada_ru] Re: Могут ли быть общие интересы в Ада РУ?
2012-06-09 10:04:30
Коробка за 100-150 EUR без, подчеркиваю, без поддержки была бы очень хорошей рекламой, и языка, и компилятора. Я отлично знаю, что руководство AdaCore в этом убедить абсолютно невозможно. Тем не менее, это следовало сказать, в контексте перечисления недоразумений, подлежащих устранению. (:-))
Кстати, побочным продуктом стала бы более "здоровая" (в смысле, healthy) база клиентов AdaCore. В настоящее время, представление, о том, что нужно пользователю от Ады черпается AdaCore, в частности из этой самой базы, которая "нишевая", просто в силу метода ее конструкции. [Мы, cbb software GmbH, этой базе принадлежим]
С другой стороны, эта самая "ниша" в купе с феноменальной упёртостью руководства (не стану называть имен) предохраняет AdaCore от печальной участи Aonix и Rationale, которые, по-факту, бросили Аду в погоне за продажами. Так что вопрос не так прост.
[12:31:47] <ada_ru> (I_vlxy_I) отвечает (Eugene) на <да это всё мелочи в …>
Это не мелочи. Это совсем другой стиль написания кода и другая архитектура программ.
[12:33:23] <ada_ru> (I_vlxy_I) Эмм... а что с этой коробкой за 100 баксов делать? Чем оно лучше чем gcc?
[12:35:23] <ada_ru> (Eugene) ну, оно хорошее и стабильное! в отличие от gcc
[12:37:15] <ada_ru> (I_vlxy_I) Да. Все очень страдают от стабильности gcc :-)
[12:37:42] <ada_ru> (I_vlxy_I) Я вот прямо сейчас компиляю им большой проект и страдаю прям весь!
[12:41:05] <ada_ru> (I_vlxy_I) Гугл, яндекс - все страдают!
[12:49:05] <ada_ru> (Eugene) был бы gcc хорошим и стабильным -- адакору не пришлось бы править в нём тучи багов для своих клиентов
[12:50:27] <ada_ru> (I_vlxy_I) У адакоровских клиентов очень специфичные платформы и требования
[12:50:57] <ada_ru> (I_vlxy_I) Плюс адакор поставляет им далеко не только патченный gcc
[12:51:32] <ada_ru> (I_vlxy_I) Там куча доп. тулзов ещё. Очень вкусных для специфики клиентов
[12:51:50] <ada_ru> (wladlos) отвечает (Eugene) на <был бы gcc хорошим и…>
Так там, вроде бы не баги и глюки адакоре выпиливает, а - что-то очень списфицкое.
[12:53:26] <ada_ru> (I_vlxy_I) отвечает (I_vlxy_I) на <Там куча доп. тулзов…>
Но не очень интересных для всех остальных.
[12:56:57] <ada_ru> (wladlos) Помнится, что Модулу-2 я где-тоза три вечера освоил (помните, такая оранжево-светлокоричневая тонкая книжные Вирта со встречными малирово-белыми стрелками на обложке?)
Правда там был нюанс: я почти в любое время дня и ночи мог провериться на реальном железе и на реальной, на нём сделанной, ОСи (на Кроносе и Эксельсиоре), которые от меня череж этаж в общаге стояли...
[12:57:31] <ada_ru> (Максим) отвечает (I_vlxy_I) на <Эмм... а что с этой …>
Просто была идея попробовать выпустить свою сборку компилятора Ады, возможно вместе с IDE и какими-то библиотеками и посмотреть будет ли спрос
[12:58:07] <ada_ru> (I_vlxy_I) отвечает (Максим) на <Просто была идея поп…>
Дык gps ведь тоже доступен и так.
[12:58:25] <ada_ru> (Максим) да, годичной давности
[12:58:57] <ada_ru> (wladlos) отвечает (I_vlxy_I) на <Это не мелочи. Это с…>
В каком сегменте спрос ожидался?
[12:59:39] <ada_ru> (Максим) в сегменте "коробка до ста баксов" :)
[13:01:16] <ada_ru> (Eugene) отвечает (wladlos) на <Помнится, что Модулу…>
у меня есть бумажная книга Вирта по модуле-2
[13:01:59] <ada_ru> (wladlos) отвечает (Максим) на <в сегменте "коробка …>
Для кого? Какой категории разработчиков?
[13:02:39] <ada_ru> (Максим) есть, например, Janus компилятор, который толкают примерно по столько, но он хуже GNAT
[13:03:27] <ada_ru> (I_vlxy_I) отвечает (Максим) на <да, годичной давност…>
На гитхабе же актуальная
[13:03:29] <ada_ru> (Максим) то, что предлагает ставить, getadanow, например, под винду, выглядит довольно стрёмно.
[13:03:42] <ada_ru> (I_vlxy_I) Максимум недельной давности :-)
[13:03:55] <ada_ru> (wladlos) Ембедеры на си сидели и сидеть будут.
А веб-сборщики вас просто не поймут. На уровне вербальных единиц общения. Им просто это в голову не зайдёт.
[13:04:10] <ada_ru> (Максим) отвечает (I_vlxy_I) на <На гитхабе же актуал…>
В исходниках? Кто-то знает как её собрать? 😋
[13:05:06] <ada_ru> (Максим) отвечает (wladlos) на <Ембедеры на си сидел…>
Меня не нужно отговариваь, всё равно эта идея дальше пробной версии не ушла
[13:06:17] <ada_ru> (Максим) я знаю, плюсы Ады и, приблизительно, минусы C/C++, JS Этого мне достаточно, чтобы писать на Аде
[13:06:45] <ada_ru> (I_vlxy_I) отвечает (Максим) на <В исходниках? Кто-то…>
Вроде для арча есть рецепты
[13:06:46] <ada_ru> (Максим) всё, от емеды до веба
[13:07:38] <ada_ru> (Максим) отвечает (I_vlxy_I) на <Вроде для арча есть …>
Ну виндузятникам это никак не поможет
[13:08:47] <ada_ru> (wladlos) отвечает (Максим) на <всё, от емеды до веб…>
Да я с вами согласен. Но здесь публика , согласитесь, собирается из параллельных вселенных смыслов. А мейнстрим - таки - мозговой поток и штамповочный пресс в одной сборке,..
[13:09:01] <ada_ru> (I_vlxy_I) отвечает (Максим) на <Ну виндузятникам это…>
А, ну то есть основной целью были виндовозники? Тогда ок
[13:09:03] <ada_ru> (Eugene) чота я ковыряюсь на гитхабе адакора -- там столько репозиториев, и нет одного общего для самого гната
[13:09:47] <ada_ru> (Максим) отвечает (Eugene) на <чота я ковыряюсь на …>
да, нету
[13:11:37] <ada_ru> (Максим) открытый gnat только в gcc. туда время от времени сбрасывают наработки из внутреннего репозитория
[13:12:24] <ada_ru> (Eugene) https://github.com/AdaCore/sparkformal
насколько полная там формальная семантика SPARK'а? или там не очень полная?
[13:14:31] <ada_ru> (I_vlxy_I) С учетом этой коробки.. Переход/начало разработки на Аду очень дорог для малых групп разработчиков. Мало инвестировать в изучение языка, либ и инструментария, так надо ещё и коробку купить.
И риски высокие.
[13:15:07] <ada_ru> (I_vlxy_I) При том, что какая-нибудь msvs бесплатна для всех ЯП (если мы про виндовозников)
[13:15:13] <ada_ru> (Максим) отвечает (Eugene) на <https://github.com/A…>
я в этом не шарю 😕
[13:16:24] <ada_ru> (Максим) отвечает (I_vlxy_I) на <При том, что какая-н…>
Да, но в msys2 нет GPS, и глючит сборка разделяемых библиотек 😋
[13:17:33] <ada_ru> (Максим) т.е. появляется выбор, самому разбираться, доставлять, настраивать или взять готовое решение и сконцентрироваться на поставленной задаче
[13:17:37] <ada_ru> (I_vlxy_I) Ну, я про то, что перейти на F#/бейсик/шарп/ц++ дешевле и более безопасно чем на Аду. Порог ниже.
[13:17:48] <ada_ru> (I_vlxy_I) И стоимость
[13:19:40] <ada_ru> (Максим) Ну, собственно, мысль о том, что это никому не нужно, да ещё и достаточно трудоёмко и похоронило эту идею...
[13:20:14] <ada_ru> (Максим) И теперь выбора нет, надо всё делать самому 😄
[13:20:34] <ada_ru> (I_vlxy_I) Выбор есть!
[13:20:42] <ada_ru> (I_vlxy_I) Можно не юзать винду :-)
[13:21:30] <ada_ru> (I_vlxy_I) Ну или юзать gnat gpl :-)
[13:21:59] <ada_ru> (Максим) Я имею ввиду, нет варианта с коробкой за 100$ где всё ОК!
[13:22:41] <ada_ru> (I_vlxy_I) Это да.
[13:23:34] <ada_ru> (Максим) в gnat gpl рантайм под GPL, а мы хотели отдавать как GCC FSF
[13:26:29] <ada_ru> (I_vlxy_I) А там точно нет linkage exception? Вроде я на что-то такое натыкался.
[13:27:13] <ada_ru> (Максим) в fsf есть, в GPL нет
[13:27:42] <ada_ru> (I_vlxy_I) А, ок
[13:42:08] <ada_ru> (I_vlxy_I) В общем, как обычно, Аде прежде всего нужны прикладные видимые проекты на Аде.
[13:42:23] <ada_ru> (I_vlxy_I) Лучше всего - опенсорс
[13:44:46] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Ну, я про то, что пе…>
F# можно вычеркнуть из этого списка, имея современный C# нужды в F# почти нет, его недостатки перекрывают его достоинства
[13:48:47] <ada_ru> (I_vlxy_I) Это было для примера. Не для сравнения ЯП
[13:49:19] <ada_ru> (Eugene) перейти на F# не так просто и дешёво, как тебе кажется (имхо)
[13:51:57] <ada_ru> (I_vlxy_I) Смотря с чего :-)
[15:08:01] <ada_ru> (Eugene) Ранее капитан Чесли Салленбергер, чья посадка поврежденного самолета на реке Гудзон в Нью-Йорке была превращена в голливудский фильм, сказал на слушаниях в Конгрессе по поводу 737 Max: "аварии являются наглядным доказательством того, что наша нынешняя система проектирования и сертификации нас подвела".
https://www.bbc.com/news/business-48752932
[15:13:51] <ada_ru> (I_vlxy_I) А он в этом хоть что-то понимает?
[15:13:54] <ada_ru> (I_vlxy_I) Он же тупо водила.
[15:14:28] <ada_ru> (Eugene) ну раз его вызвали в конгресс, значит теЮ кому надоЮ сочли его понимающим
[15:16:09] <ada_ru> (I_vlxy_I) Скорее видной фигурой полезной для данного политического хода.
[15:47:12] <ada_ru> (Vinpuh) отвечает (I_vlxy_I) на <Он же тупо водила.>
https://en.m.wikipedia.org/wiki/Chesley_Sullenberger ну он не просто водила.
[15:50:40] <ada_ru> (I_vlxy_I) А кто? Уж точно не специалист по построению надёжных и безопасных систем.
[16:02:25] <ada_ru> (Vinpuh) отвечает (I_vlxy_I) на <А кто? Уж точно не с…>
Он типа преподносится, как эксперт по авиационной безопасности
[16:03:50] <ada_ru> (I_vlxy_I) Что эксперт по безопасности делал за штурвалом коммерческого рейса?
[16:05:10] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Что эксперт по безоп…>
Чесли Салленбергер (англ. Chesley Sullenberger; род. 23 января, 1951) — американский пилот-инструктор пассажирских авиалиний, эксперт по безопасности и расследованиям происшествий Национального агентства транспортной безопасности США, председатель Международной ассоциации пилотов гражданских авиалиний, разработчик нормативной документации по безопасности полётов, организатор консультационного бизнеса по вопросам авиабезопасности.
[16:07:18] <ada_ru> (Eugene) походу он оставался пилотом, что бы сохранять и развивать свои экспертные навыки помимо расследования авиакатастроф и обучения безопасности полётов ))
[16:14:31] <ada_ru> (I_vlxy_I) И в 2009 году, по счастливому стечению обстоятельств, он попал в аварийную ситуацию, где смог подтвердить свой скилл и ценность своей основной специальности?
ПАДАЗРИТЕЛЬНА!
[16:14:46] <ada_ru> (Oleg) "о счастливому стечению обстоятельств, он попал в аварийную ситуацию"
[16:14:55] <ada_ru> (Oleg) Ого какое счастье то
[16:19:57] <ada_ru> (I_vlxy_I) А разве нет?
[16:20:10] <ada_ru> (I_vlxy_I) Так бы на пенсию списали, а так новый мощный виток карьеры.
[16:20:42] <ada_ru> (Oleg) Ну иногда луше на пенсии нежели на тихом кладбище 😊
[17:34:33] <ada_ru> (wladlos) отвечает (I_vlxy_I) на <Что эксперт по безоп…>
https://youtu.be/Y4PSRqSBCc0
[18:28:49] <ada_ru> (Sergei) отвечает (Максим) на <Ну, собственно, мысл…>
У меня с этой идеей было всё несколько сложнее. Во-первых, мне казалось, что абсолютно необходимо сплотить вокруг э
[18:29:06] <ada_ru> (Sergei) вокруг этой идеи не только Ada-RU но и другие национальные Ada-XX сообщества
[18:29:14] <ada_ru> (Sergei) но я натолкнулся на 2 вещи
[18:29:39] <ada_ru> (Sergei) 1 - протест ада ру против сотрудничества с сообществами не ру
[18:29:50] <ada_ru> (Sergei) (отдельных членов)
[18:30:05] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <1 - протест ада ру п…>
O_O фигасе!
[18:30:15] <ada_ru> (Sergei) 2 - отсутствие легального статуса Ада Ру (отдельный разговор)
[18:31:09] <ada_ru> (Sergei) но, конечно, были ещё идеи, которые подвисли по тем или иным причинам, и которые должны были быть "двигателем прогресса" и источником финансов
[18:32:24] <ada_ru> (Sergei) например, надо было делать практическое приложение для этой коробки и получать деньги, хотя бы с одного проекта. Были идеи
[18:39:18] <ada_ru> (Sergei) Сейчас я занялся возрождением своей Quirks UVM , а она была связана с Адой когда-то (Максим писал компилятор). Да, возрождением занялся потому что нашёлся коммерческий проект, который ею заинтересовался. И нашлись финансы. То есть, вот я погряз сейчас в этом, это из того что хоть косвенно как-то связано с Ада-РУ. А по поводу идеи объединительного съезда Ada-XX я никогда не отказывался и в силу своего географического положения мог бы этим позаниматься, если будут единомышленники
[18:39:53] <ada_ru> (Sergei) У какой-то не-ру группы уже был свой вариант компилятора
[18:41:40] <ada_ru> (I_vlxy_I) А что такое Quirks UVM?
[18:41:58] <ada_ru> (Sergei) единственное что, возможно, понадобиться сделать на определённом этапе - это зарегестрировать Ада-РУ как (не?)коммерческую организацию потому, что вроде как мне говорили, все остальные аналогичные сообщества официально где-то зарегистрены
[18:42:00] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <У какой-то не-ру гру…>
Компилятора чего?
[18:42:25] <ada_ru> (Sergei) Свой вариант GNAT который они сами собирают и поддерживают
[18:43:09] <ada_ru> (I_vlxy_I) А чем fsf плох? Из просто состава gcc
[18:43:10] <ada_ru> (Sergei) http://quirks-uvm.sourceforge.net/
[18:43:46] <ada_ru> (Sergei) Вот в этом стоит разобраться, но ведь есть ещё Ada Aux, Dragon Ada и проч. на основе GNAT
[18:44:47] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <Свой вариант GNAT ко…>
И если у них есть, то зачем ещё и от ада-ру?
[18:44:54] <ada_ru> (Sergei) http://www.dragonlace.net/
[18:45:50] <ada_ru> (Sergei) Вот потому я и хотел с ними соединиться как-то, организовать мета-ада сообщество
[18:46:02] <ada_ru> (Sergei) но сказали что не РУ не ТРУ
[18:46:31] <ada_ru> (Sergei) на тот момент было такое мнение среди НЕСКОЛЬКИХ уважаемых участников
[18:46:38] <ada_ru> (I_vlxy_I) Почему ада такая особенная, что другие языки из состава gcc я могу использовать as is, и все так и используют их, а для Ады нужны какие-то отдельные региональные сборки?
[18:47:47] <ada_ru> (Sergei) История восходит к некоторому особому мистическому тест сету
[18:48:05] <ada_ru> (Sergei) который фейлиться на всех сборках, кроме одной правильной
[18:48:31] <ada_ru> (Sergei) и тест сет не продаётся а те, у кого он есть, молчат и всё равно не могут воспользоваться, не засветившись
[18:48:59] <ada_ru> (I_vlxy_I) УЖАС
[18:49:07] <ada_ru> (Sergei) вопрос - насколько он важен для конкретного применения
[18:49:15] <ada_ru> (Sergei) и вот Максим высказывался что совсем не важен
[18:49:38] <ada_ru> (I_vlxy_I) То есть без него Ада менее безопасна менее надёжна чем C и c++?
[18:49:56] <ada_ru> (Sergei) якобы тот кодогенератор, что выкладывают, страшно глючный
[18:50:17] <ada_ru> (I_vlxy_I) Или там go, Java, rust, swift, FORTRAN
[18:51:36] <ada_ru> (Sergei) то есть, обсуждая идею коробки мы исходили из 2 положений
- тест сет совершенно намеренно не светится, максимум те люди, у которых он предположительно есть, могут сказать насколько всё хорошо или плохо
- коробка выпускается заведомо со статусом "не 100%", и потому дешевле компилятора официального, на котором всё пучком
[18:52:24] <ada_ru> (Sergei) по словам людей из АдаКОРЕ в "в GCC С++" всё ещё хуже
[18:52:45] <ada_ru> (Sergei) на этом мы и основывались, когда говорили, что коробка норм. для коммерческих применений
[18:54:08] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <по словам людей из А…>
Тогда чем меньше упоминаний про этот тестсет тем лучше для Ады
[18:54:24] <ada_ru> (Lieutenant_Commander_Data) Что такое коробка?
[18:54:34] <ada_ru> (I_vlxy_I) Иначе есть ощущение, что ей пользоваться нельзя вообще, ибо глючная аж жуть
[18:54:36] <ada_ru> (Sergei) это GNAT за 150 баксов
[18:54:49] <ada_ru> (Sergei) ответ на вопрос "что такое коробка"
[18:55:20] <ada_ru> (Lieutenant_Commander_Data) т.е. идея в том, чтобы взять gnat из gcc, собрать его и потом продавать по $150 ?
[18:55:35] <ada_ru> (Lieutenant_Commander_Data) И это как-то должно помочь популяризации языка?
[18:55:44] <ada_ru> (Sergei) отвечает (I_vlxy_I) на <Иначе есть ощущение,…>
По словам адакоровцев, разработчики GCC часто меняют интерфейсы, из-за этого происходят глюки в кодогенерации ада части на FSF
[18:55:59] <ada_ru> (Sergei) отвечает (Lieutenant_Commander_Data) на <т.е. идея в том, что…>
Да, именно так
[18:56:52] <ada_ru> (Lieutenant_Commander_Data) Какой в этом смысл, когда любой, кому нужен адский компилятор просто возьмет gcc и получит аду за $0 ?
[18:57:02] <ada_ru> (Sergei) GPL
[18:57:09] <ada_ru> (Lieutenant_Commander_Data) что GPL ?
[18:57:15] <ada_ru> (Sergei) только GPL аду
[18:57:27] <ada_ru> (Sergei) всё, что ею компилиться должно быть GPL
[18:57:33] <ada_ru> (Sergei) вирусная лицензия
[18:58:04] <ada_ru> (I_vlxy_I) Gnat fsf не gpl
[18:58:21] <ada_ru> (Sergei) так вот и делали с Максимом на основе gnat fsf
[18:58:33] <ada_ru> (Sergei) хотя это не 100%
[18:58:41] <ada_ru> (Lieutenant_Commander_Data) насколько я знаю, в gcc есть исключение, иначе его невозможно было использовать в коммерческих проектах
[18:58:47] <ada_ru> (Sergei) то есть адакора говорила "если сделаете - будем судиться"
[18:58:52] <ada_ru> (I_vlxy_I) Чем это лучше чем apt-get install gnat?
[18:58:54] <ada_ru> (Sergei) ну потому нужен статус
[18:59:05] <ada_ru> (Lieutenant_Commander_Data) отвечает (Sergei) на <то есть адакора гово…>
Судиться?
[18:59:11] <ada_ru> (I_vlxy_I) Или yay -S gnat
[18:59:33] <ada_ru> (Sergei) по их мнению даже FSF GPL должен быть, но они не поясняют его
[18:59:39] <ada_ru> (I_vlxy_I) Или yum install gnat
[19:00:11] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <по их мнению даже FS…>
Не должен. У них соглашение же с fsf
[19:00:31] <ada_ru> (Sergei) Так вот суд и решит должен или не должен
[19:00:37] <ada_ru> (I_vlxy_I) Возвращают код под нужной fsf лицензии
[19:01:23] <ada_ru> (I_vlxy_I) А вот перейдут на llvm и ничего никуда не нужно будет возвращать :-)
[19:01:35] <ada_ru> (I_vlxy_I) Будет только платный gnat
[19:01:55] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <Так вот суд и решит …>
Оно им надо с fsf судиться?
[19:02:13] <ada_ru> (Sergei) Они этим пугают, это же их бизнес
[19:02:29] <ada_ru> (vmmr0) отвечает (I_vlxy_I) на <А вот перейдут на ll…>
Есть планы по такому переходу?
[19:02:38] <ada_ru> (Sergei) то есть статус лицензии GNAT в FSF по мнению конторы "не ясен"
[19:02:44] <ada_ru> (I_vlxy_I) отвечает (vmmr0) на <Есть планы по такому…>
Вроде да.
[19:03:19] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <то есть статус лицен…>
Они скорее вас бы прижали если кто-то из вас когда-либо в адакоре работал.
[19:03:21] <ada_ru> (Sergei) Просто нет прецедента больших коммерческих проектов на GNAT FSF
[19:04:15] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <Просто нет прецедент…>
Ну вот и скажите - оно надо такую бомбу в свой проект закладывать? То есть писать его на Аде когда легальный статус не ясен.
[19:04:26] <ada_ru> (Максим) "Переход" это не совсем верно. GNAT будет на основе GCC. Просто появится еще один костыль, как было с Адой для .Net и JVM
[19:05:01] <ada_ru> (Sergei) отвечает (I_vlxy_I) на <Ну вот и скажите - о…>
Потому и говорили об официальной коробке, статус которой ясен
[19:06:26] <ada_ru> (Максим) Я не согласен с тем, что говорит Sergei . На лицензию в FSF AdaCore не посягает, мне кажется
[19:06:34] <ada_ru> (I_vlxy_I) А они решили вас пугануть, чтобы не дай БГ статус fsf не прояснился.
[19:07:55] <ada_ru> (Sergei) отвечает (Максим) на <Я не согласен с тем,…>
Ну хорошо, тебе виднее, я от них намного дальше
[19:07:58] <ada_ru> (I_vlxy_I) отвечает (Максим) на <Я не согласен с тем,…>
В разговорах лет 12 назад в мыллисте адакоровцы мне доказывали, что статус fsf не ясен или что оно gpl при сомнительном качестве.
[19:08:00] <ada_ru> (I_vlxy_I) Не помню нюансов уже
[19:09:08] <ada_ru> (Sergei) Надо только понимать, что делая коробку мы становимся их нежелательными конкуррентами, пусть не по факту а по статусу, и надо готовиться к каким-то действиям, пусть формальным
[19:09:59] <ada_ru> (Максим) отвечает (Lieutenant_Commander_Data) на <И это как-то должно …>
Идея была в том, что появится еще один поставщик компилятора, ещё одна версия компилятора. Он будет готов к употреблению, с IDE, и какой-то поддержкой
[19:14:33] <ada_ru> (I_vlxy_I) Помню человек приходил, спрашивал про разработку коммерческой игры на Аде - запинали и сказали что придётся покупать gnat pro, без этого никак
[19:14:46] <ada_ru> (I_vlxy_I) Чел ушёл пилить на ц++
[19:15:29] <ada_ru> (Lieutenant_Commander_Data) отвечает (Sergei) на <по их мнению даже FS…>
У адакоре нет прав на адский кода в fsf gcc
[19:16:29] <ada_ru> (Lieutenant_Commander_Data) отвечает (Sergei) на <Они этим пугают, это…>
Ну и пусть судятся с fsf. Именно поэтому когда в gcc контрибьютишь - отдаешь права на код FSF'у, чтобы они могли его защищать
[19:17:39] <ada_ru> (Lieutenant_Commander_Data) отвечает (Максим) на <Идея была в том, что…>
Давайте запилим
[19:17:40] <ada_ru> (Lieutenant_Commander_Data) Я за
[19:17:45] <ada_ru> (Sergei) Всё это, на мой взгляд, второстепенные вещи. Главное, это найти проект в котором можно применять компилятор, чтобы он приносил достаточно, чтобы оплачивать его разработку
[19:18:13] <ada_ru> (Sergei) .... рекламу, хостинг и картон на коробки
[19:19:03] <ada_ru> (Sergei) по моему сегодняшнему пониманию, это может быть только проект связанный с коммуникацией
[19:19:16] <ada_ru> (Lieutenant_Commander_Data) с коммуникацией?
[19:19:23] <ada_ru> (Sergei) всё прослушивается
[19:19:59] <ada_ru> (Sergei) есть необходимость новых по настоящему защищённых каналов коммуникаций
[19:20:09] <ada_ru> (I_vlxy_I) СОРМ на Аде!
[19:20:16] <ada_ru> (I_vlxy_I) Ой. Не в ту сторону
[19:20:27] <ada_ru> (Максим) Ada-Telegram!
[19:20:30] <ada_ru> (Lieutenant_Commander_Data) =)
[19:20:59] <ada_ru> (Sergei) да, но вы знаете, почему я похоронил идею. Вернее, когда. Когда нашли уязвимости на уровне процессоров
[19:21:26] <ada_ru> (Sergei) против этого компилятором уже не справишься
[19:22:47] <ada_ru> (Sergei) была идея заинтересовать держателей криптовалют
[19:22:55] <ada_ru> (Sergei) но рынок упал сильно, у них нет денег
[19:23:16] <ada_ru> (Sergei) короче, я занимаюсь Quirks UVM, кто хочет возродить для него компилятор Ады? :)
[19:23:28] <ada_ru> (Lieutenant_Commander_Data) отвечает (Максим) на <Идея была в том, что…>
А что в качестве IDE использовать планировалось, планируется? Только не говорите что GPS ?
[19:23:29] <ada_ru> (I_vlxy_I) Я за osm роутер :-)
[19:23:49] <ada_ru> (I_vlxy_I) отвечает (Lieutenant_Commander_Data) на <А что в качестве IDE…>
VIM!!1
[19:24:02] <ada_ru> (Lieutenant_Commander_Data) VIM - говно!
[19:24:08] <ada_ru> (Lieutenant_Commander_Data) только EMACS!!!
[19:24:13] <ada_ru> (Sergei) отвечает (I_vlxy_I) на <Я за osm роутер :-)>
Да, это ещё было раньше. До коробки GNAT мы обсуждали железные коробки, где ада продаётся вместе с железом и никак иначе
[19:24:22] <ada_ru> (Sergei) +1 emacs
[19:24:35] <ada_ru> (Sergei) всё, ушёл, хороших выходных
[19:25:08] <ada_ru> (insert_reference_here) отвечает (Lieutenant_Commander_Data) на <только EMACS!!!>
Тоже говно
[19:25:35] <ada_ru> (insert_reference_here) с вимом хоть понятно за что его любить, там необычный подход к редактированию (мне не нравится, но ничего удивительного в том, что кому-то больше именно это понравится). Вот любовь к имаксу для меня совершенно непонятна, ведь это обычный редактор, просто старый, страшный, убогий и тормозной
[19:25:45] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <Да, это ещё было ран…>
osm роутер это не про сеть, в про построение маршрутов на карте (реальной)
[19:27:06] <ada_ru> (Lieutenant_Commander_Data) отвечает (insert_reference_here) на <Тоже говно>
НЕТ! ИМАКС ЭТО ЛУЧШЕЕ ИЗ ТОГО ЧТО БЫЛО ПРИДУМАНО ЧЕЛОВЕЧЕСТВОМ!!!!
[19:27:19] <ada_ru> (insert_reference_here) отвечает (Lieutenant_Commander_Data) на <НЕТ! ИМАКС ЭТО ЛУЧШЕ…>
А КАК ЖЕ АДА?!
[19:27:32] <ada_ru> (Lieutenant_Commander_Data) АДА !!!!
[19:31:24] <ada_ru> (Eugene) отвечает (I_vlxy_I) на <Ну вот и скажите - о…>
Ну вот про это и твердил трольчёнок просперо...
[19:32:32] <ada_ru> (Lieutenant_Commander_Data) А кто про этих товарищей знает:
http://www.adaforge.io/
[19:32:47] <ada_ru> (Lieutenant_Commander_Data) http://www.adaforge.io/Tools/Compilers/
[19:33:09] <ada_ru> (Lieutenant_Commander_Data) Они даже какой-то llvm-fronetend предлагают. Это который AdaCore делает?
[19:34:57] <ada_ru> (Eugene) отвечает (Sergei) на <но рынок упал сильно…>
Ну, сейчас биток опять растёт, 13k достигал сегодня...
[19:37:21] <ada_ru> (Eugene) цитирует (lightgreen)
[20:00:01] <ada_ru> (I_vlxy_I) Я в основном сижу на кресле
[20:09:05] <ada_ru> (Максим) отвечает (Lieutenant_Commander_Data) на <Они даже какой-то ll…>
Это скорее всего недоделаный заброшенный GCC -> LLVM компилятор. Драконо-чего-то-там
[20:16:14] <ada_ru> (Lieutenant_Commander_Data) а AdaCore когда свой llvm фронтэнд выложит?
[20:17:38] <ada_ru> (Максим) хз. в какой-то презенташке нашли, что выложат в сентябре
[21:08:12] <ada_ru> (I_vlxy_I) Будем посмотреть!
[21:08:22] <ada_ru> (I_vlxy_I) Может хоть в макоси дебаг оживет
[21:18:36] <ada_ru> (Lieutenant_Commander_Data) Макось не нужна
[21:23:10] <ada_ru> (I_vlxy_I) отвечает (Lieutenant_Commander_Data) на <Макось не нужна>
А что нужно?
[21:23:23] <ada_ru> (Lieutenant_Commander_Data) Windows
[21:24:35] <ada_ru> (I_vlxy_I) Baremetal?
[22:12:18] <ada_ru> (a) https://www.ixbt.com/news/2019/06/27/red-hat-ibm-34.html
[22:12:39] <ada_ru> (a) Заживём...
[22:12:41] <ada_ru> (I_vlxy_I) всё, расходимся?
[22:15:44] <ada_ru> (a) https://www.ixbt.com/news/2019/06/27/po-zadaniju-pentagona-sozdan-prototip-ustrojstva-raspoznajushego-ljudej-na-rasstojanii-po-serdcebieniju.html во ещё дивная фиговина. Скоро отпечатки уйдут в прошлое
[22:16:36] <ada_ru> (I_vlxy_I) интересно
[22:16:42] <ada_ru> (a) Не знаю. Мне редхат нравился. Есть в нём какая то ламповость и теплота
[22:16:52] <ada_ru> (I_vlxy_I) интересно глянуть алгоритм идентификации/подходы к обучению
[22:17:03] <ada_ru> (a) Только дорогой он
[22:17:17] <ada_ru> (I_vlxy_I) отвечает (a) на <Не знаю. Мне редхат …>
теперь будет голубая холодность
[22:18:05] <ada_ru> (a) Мне претит их последний ребрендинг
[22:18:39] <ada_ru> (I_vlxy_I) чей? какой?
[22:19:21] <ada_ru> (a) У меня с ними четкие ассоциации того редхата 2005 года с этим челом в шляпе. А новая шляпа уродская
[22:19:49] <ada_ru> (a) Дизайн шляпы сменили
[22:20:06] <ada_ru> (a) Не так давно
[23:09:47] <ada_ru> (I_vlxy_I) да пофиг на дизайн лого, так то. по большому счету
[23:23:42] <ada_ru> (wladlos) Народ, вы мне не такие зияющие высоты открыли во вселенной Ады - аж зубы заныли.
Нет щастя в жизни.
[23:24:13] <ada_ru> (I_vlxy_I) это не высоты, это фобии 🙂
[23:24:23] <ada_ru> (I_vlxy_I) боязнь того, что в шкафу может быть скелет
[23:24:28] <nordwind> Не высоты, а глубины ада
[23:24:53] <ada_ru> (I_vlxy_I) а взрослые дяди (адакор) максимально поддерживают эту мифологию и пугают ей детишек
[23:25:11] <ada_ru> (I_vlxy_I) бабайкой пугают 🙂 чтобы детки слушались дядю
[23:25:35] <ada_ru> (I_vlxy_I) и не ходили самостоятельно куда не надо
[23:32:13] <ada_ru> (wladlos) Дык, я тогда не понимаю, в чём проблемы для сообчества лиц, собравшихся осчастливить мир собственной реализацией компилятора Ады?
[23:32:51] <ada_ru> (I_vlxy_I) кормовой базы не хватит для настолько большого и сложного фронтенда для такого большого и сложного языка.
[23:33:21] <ada_ru> (I_vlxy_I) сляпать фронт еще один для какого-нибудь Го было бы реально текущим ада-сообществом. и то на пределе сил. IMHO
[23:33:48] <ada_ru> (wladlos) А это не является очередной страшилкой из "той же оперы"?
[23:33:53] <ada_ru> (I_vlxy_I) не только сляпать, но и развивать/поддерживать
[23:34:41] <ada_ru> (I_vlxy_I) отвечает (wladlos) на <А это не является оч…>
думаю нет. написание полноценного фронтенда займет никак не меньше времени чтобы прочитать от корки до корки и осознать стандарт на язык последней редакции.
[23:34:55] <ada_ru> (I_vlxy_I) а это, в свою очередь, займет больше времени, чем просто механически прочитать.
[23:35:09] <ada_ru> (I_vlxy_I) сколько времени уйдет на просто механическое чтение всего стандарта?
[23:35:33] <ada_ru> (wladlos) А сколько д'Артаньянов по списочному составу, желающих таки попрограмировать?
[23:36:01] <ada_ru> (I_vlxy_I) а сколько времени они могут уделить этому процессу?
[23:36:11] <ada_ru> (I_vlxy_I) часа 2 в неделю?
[23:36:21] <ada_ru> (Oleg) Парни, делаю на JS клиента к серверу , с той стороны websocket уж простите за тупизм, но в JS распарсить JSON в котором например с десяток каких то объектов у которых еще с десяток полей
[23:36:41] <ada_ru> (I_vlxy_I) то есть 2 часа - это полчаса вспоминать на чем остановился, полчаса на разогрев, полчаса на кодинг, полчаса на коммуникацию.
[23:37:28] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Парни, делаю на JS к…>
https://www.w3schools.com/js/js_json_parse.asp
[23:38:05] <ada_ru> (I_vlxy_I) https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/JSON/parse
[23:38:13] <ada_ru> (I_vlxy_I) оно?
[23:39:00] <ada_ru> (Oleg) Да, только я лучше завтра свой JSON выложу, чтото я немного не понимаю
[23:43:21] <ada_ru> (Oleg) Ну типа того
[23:43:26] <ada_ru> (Oleg) {
"firstName": "Иван",
"lastName": "Иванов",
"address": {
"streetAddress": "Московское ш., 101, кв.101",
"city": "Ленинград",
"postalCode": "101101"
},
"phoneNumbers": [
"812 123-1234",
"916 123-4567"
]
}
[23:46:28] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2019-06-27-x1.jpg
[23:46:35] <ada_ru> (I_vlxy_I) всё воркает как надо
[23:46:52] <ada_ru> (Oleg) Да и правда
[23:46:54] <ada_ru> (Oleg) 😊
[23:47:39] <ada_ru> (I_vlxy_I) но чтобы в строковый литерал загнать этот текст, что ты прислал, пришлось немного заэскейпить это дело.
этого не нужно делать, если тебе по вебсокету прилетело, это нужно, если ты руками строковый литерал вбиваешь
[23:47:52] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2019-06-27-x2.jpg
[23:48:03] <ada_ru> (Oleg) Ага
[23:48:06] <ada_ru> (Oleg) спасибо
[23:48:14] <ada_ru> (Oleg) скатываюсь в JS программисты
[23:49:02] <ada_ru> (I_vlxy_I) нормально-нормально! востребованный скилл
[23:49:20] <ada_ru> (I_vlxy_I) причем пофиг на каком языке основном ты при этом пишешь. накорябать нечто на js надо уметь все равно
[23:50:19] <ada_ru> (Oleg) Это точно
[23:50:57] <ada_ru> (Oleg) Я в SVG картинки коммутаторов делаю и рисую между ними связи, и какой порт поднят или опущен
[23:51:33] <ada_ru> (Oleg) Все я спать
[23:51:40] <ada_ru> (Oleg) Ато итак засиделся
[23:51:47] <ada_ru> (wladlos) отвечает (I_vlxy_I) на <причем пофиг на како…>
А - python?
[23:51:53] <ada_ru> (I_vlxy_I) тоже
[23:51:56] <ada_ru> (Oleg) пока парни, спокойной ночи
[23:52:18] <ada_ru> (Oleg) PS: Python я более менее знаю, теперь еще и Go и тупоскрипт хочу освоить
[23:53:10] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <пока парни, спокойно…>
спокойной ночи 🙂
[23:57:26] <ada_ru> (I_vlxy_I) btw: для Ады сильно полезней было бы не пилить компилятор, а пилить какой-то проект на Аде. востребованный и публично видимый, который можно пощупать руками.
[23:57:41] <ada_ru> (I_vlxy_I) вон, на крестах 100500 молодых и классный СУБД запилено например
[23:58:01] <ada_ru> (I_vlxy_I) тут вам и надежность и скорость требуется