[00:35:05] <OCTAGRAM> кстати, GNAT.SPITBOL активно использует менее безопасную версию Unbounded.Aux для ускорения своей работы
[10:03:26] <landgraf> в гнатколе много веселья видал я =)
[12:31:02] <OCTAGRAM> и эти люди пишут компилятор?
[12:32:28] <ada_ru> (t91x0) Я вам теории категорий принес
[12:32:30] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Я медленно привыкал …>
а какие раньше были компиляторы?
[12:32:45] <ada_ru> (Sergei) поочереди
[12:32:51] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <Интересно. Если AdaC…>
Я медленно привыкал к тому. что теперь Intel - это настоящий процессор и на нём делаются настоящие машины (а не какие-то игрушечные "микроЭВМ"). Теперь, по-видимому, придётся долго привыкать к тому, что GNAT - "настоящий" Ада-компилятор. Прошлые титаны ада-мира куда-то испарились, пока я был занят своими делами.
[12:32:55] <ada_ru> (I_vlxy_I) А вот Ada-12 у них нету. Да даже Ада-05 нету.
[12:32:56] <ada_ru> (iFUTNe31)
[12:33:00] <ada_ru> (I_vlxy_I) ну, сейчас то почти также! ну, там промежуточное представление - оптимизация оного, потом асм, потом уже машкот
[12:33:10] <ada_ru> (Sergei) (О своём) ведь Linux тоже не сразу народ стал воспринимать как полноценную систему. Поначалу был "настоящий Unix" - BSD,  и Linux- поделка, который боялись ставить на сервера и поначалу ими вообще пользовались такие экспериментаторы, как я. Так как GNAT я собирал на Linux (руками накладывая патчи компилятору GCC) я не мог относится к нему как к чему-то "серьёзному".
[12:33:16] <ada_ru> (drblez) были смешные компиляторы )) на PDP-11 компилятор паскаля компилировал в ассемблер, а потом можно было натравить на получившийся код оптимизатор, которые опитмизировал ассемблерный код перед компиляцией )))))
[12:33:19] <ada_ru> (I_vlxy_I) Во! DDC-I до сих пор ада-компайлер свой продает. Правда там как была Ada-95, так и осталась 🙂 Ada-95 хватит всем!
[12:33:22] <ada_ru> (Sergei) А потом я всех убедил, что Linux тоже немного похож на Unix
[12:36:48] <yeo> да, шлюз залип где-то. а перезапустить некому :(
[12:45:04] <ada_ru> (Sergei) Ботов разбудили
[12:45:26] <yeo> test
[12:45:27] <Жаба> yeo, passed
[12:45:36] <ada_ru> (drblez) Каждая большая компания пилила свой настоящий юникс...
[12:45:38] <ada_ru> (I_vlxy_I) производители настоящих Ада-компиляторов уходят делать С++ компиляторы.
[12:45:43] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <А потом я всех убеди…>
а надо было ставить macOS! вот оно - точно настоящий юникс! у нее и справка есть.
[12:47:51] <OCTAGRAM> I_vlxy_I: у ObjectAda поддержка Ada 2012 в новостях проходила
[12:48:27] <ada_ru> (Максим) Вроде заработал бот.
[12:48:45] <landgraf> лучше бы не работал
[12:49:29] <yeo> серьезно? остановить не сложно :-/
[12:50:34] <landgraf> ну без него было тише и меньше C++ было =)
[12:51:13] <landgraf> /me устал от телеграм чатиков
[12:52:00] <ada_ru> (Sergei) Вообще, я задумался. Как интересно. Были "настоящие IBM" и "Электроника", настоящие "PDP" и "Электроника", настоящий "Spectrum" и "Ленинград-2", настоящий Unix и Linux, настоящая ОС и MS-DOS/Windows. И только с приходом JavaScript я понял, что кончились "настоящие".
[12:53:27] <ada_ru> (drblez)  отвечает (Sergei) на <Вообще, я задумался.…>
Почему? Поясните? ))
[12:54:07] <ada_ru> (Sergei) Почему понял или почему я вырос в период, когда было деление "настоящее/ненастоящее"?
[12:54:26] <ada_ru> (drblez) Почему понял про яваскрипт ))
[12:55:57] <ada_ru> (Sergei) Ну, я имею в виду, когда все начинают всерьёз воспринимать какую-то неудачную шутку.
[12:56:31] <ada_ru> (Sergei) Вроде Windows 95
[12:56:39] <ada_ru> (drblez) а! дада... но! можно его рассматривать как ассемблер ))) но исключительно в таком качестве...
[12:57:58] <ada_ru> (drblez) что-то вроде автокода эль76 для эльбрусов старых ))
[13:01:20] <ada_ru> (I_vlxy_I)  отвечает на <(landgraf) ну без не…>
Понял. Будет меньше c++. Будет больше Ада :-)
[13:03:27] <ada_ru> (Sergei) while (c++ > Ada) improve;
[13:05:57] <ada_ru> (Sergei) Я понял подвох, C постоянно инкрементируется
[13:06:41] <ada_ru> (I_vlxy_I) Ada инкрементмруется через сайдэффекты.
[13:06:58] <ada_ru> (I_vlxy_I) Возможно в другом потоке.
[13:07:11] <ada_ru> (Sergei) Да, я понял, что через то место
[13:08:17] <ada_ru> (Sergei) Кстати, что нового будет в Ада-20
[13:08:54] <OCTAGRAM> Ada:=@+1;
[13:09:08] <OCTAGRAM> согласно стандарту 2020
[13:09:43] <ada_ru> (Sergei) @ это как раз то, что я имел в виду
[13:12:24] <ada_ru> (I_vlxy_I) А лямбд да замыканий не будет?
[13:14:06] <OCTAGRAM> https://juick.com/OCTAGRAM/2860634
[13:14:20] <OCTAGRAM> тех, которые есть, мало?
[13:23:53] <ada_ru> (Sergei) Ну всё-таки приятно, что язык развивается. Хотя некоторые предыдущие добавления были неуклюжими. Например, интерфейсы в плане их реализации в GNAT когда-то заставили поломать голову, так как работали не всегда а иногда и компилятор валили.
[13:24:37] <ada_ru> (Sergei) Особенно когда сочетались с protected и generic
[13:31:39] <ada_ru> (drblez) А есть како-то всеобъемлющее описание, более свежее, чем 95, на русском языке?
[13:32:48] <ada_ru> (I_vlxy_I) @ -- это константа? То есть оно один раз за выражение читается в память и уже не зависит от сайдэффектов, влияющих на левую часть?
[13:36:49] <ada_ru> (I_vlxy_I) Или же это полноценный алиас левой части?
[13:44:11] <ada_ru> (Vinpuh)  отвечает (drblez) на <А есть како-то всеоб…>
Нет, есть только небольшие эссе. По 2012 только инглишь
[13:46:23] <ada_ru> (Максим)  отвечает (drblez) на <А есть како-то всеоб…>
Есть, к примеру, полный перевод Rationale 2005, (это обоснование новых возможностей языка)
[13:46:59] <ada_ru> (Максим) http://www.ada-ru.org/saturn/aleg.html
[13:47:00] <ada_ru> (drblez) дада, это я видел... а вот что-то типа "адского программирования" бы ))
[13:47:07] <ada_ru> (I_vlxy_I) А на англ есть рационале для 20?
[13:47:42] <ada_ru> (Максим) rationale 2012 есть
[13:48:38] <ada_ru> (Vinpuh)  отвечает (drblez) на <дада, это я видел...…>
Programming in Ada 2012 читайте, там относительно простой инглишь
[13:56:33] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <rationale 2012 есть>
а предварительную инфу по 2020 кто-нибудь в виде статейки не оформил ли? можно на англ.
[14:10:53] <OCTAGRAM> моя не считается?
[14:11:24] <OCTAGRAM> или предварительную — это то, что в онлайн версии ещё нету?
[14:12:35] <OCTAGRAM> я AARM прокликивал, смотрел по изменениям, что нового
[14:51:49] <ada_ru> (I_vlxy_I) там что-то маловато. у тебя в посте.
[14:56:02] <OCTAGRAM> а, ну это да
[14:56:20] <OCTAGRAM> а легко ли представить, чтоб там было много нового?
[14:56:28] <OCTAGRAM> старое-то не всё работает
[14:57:10] <OCTAGRAM> Directories.Hierarchical_… звучит как неплохая идея, если б только было реализовано
[14:57:55] <OCTAGRAM> да и простые Directories от Юникода выпадают в исключительные ситуации, что как-то не очень
[15:04:31] <ada_ru> (drblez) А вот таки использовать Аду для программирования железа -- хорошо или так себе? Уж очень подкупает то, что не нужны РТОС и иже с ними...
[15:18:28] <ada_ru> (Sergei)  отвечает (drblez) на <А вот таки использов…>
Как раз хочу попробовать. Обещаю рассказать.
[15:19:36] <ada_ru> (drblez) А что за задача? Ну так, крупными мазками
[15:22:06] <ada_ru> (drblez) Мне, вот, скажем, нужно взять стм, прикрутить к ней пару-тройку сотен мег флеша, часы, последовательный порт, и2с... Сделать внутре многозадачную среду, одна задача (основная) пишет данные на флеш, а в фоне крутятся задачи, которые обрабатывают эти данные и что-то там еще пишут на флеш... Архивируют старые данные, например...
[15:22:26] <ada_ru> (Sergei) Вокруг идеи, о которой я писал здесь 13 июня. "Например, думаю, что сейчас есть opportunity - ада бренд + open hardware - девайс, на котором можно хранить деньги, документы, переговариваться по нему и ничего так легко не стащат хакеры. Просто небольшой типа USB stick. Ничего кроме ады с верификацией и голого открытого харда."
[15:23:54] <ada_ru> (Sergei) Обсуждали реализации Open CPU потом, я стал смотреть виртовский CPU (Oberon). Жду книгу по FPGA, придёт - буду продолжать
[15:24:48] <ada_ru> (Sergei) Хотел проверить, можно ли верифицировать железо с софтом в одном комплексе. Ну, типа, как Спарк делает
[15:25:26] <ada_ru> (Sergei) Хотя я Спарком не пользовался, но краем уха слышал про верификацию
[15:26:29] <ada_ru> (I_vlxy_I) а как ты бекенд будешь для Ады писать для нового CPU?
[15:26:38] <ada_ru> (I_vlxy_I) самостоятельно?
[15:26:40] <ada_ru> (Sergei) Ручками
[15:26:53] <ada_ru> (Sergei) Да, это же самоё моё любимое дело, бакэнды писать
[15:26:54] <ada_ru> (I_vlxy_I) бекенд к gcc?
[15:27:04] <ada_ru> (Sergei) а, вот это пока не знаю
[15:27:08] <ada_ru> (Sergei) сильно сложно?
[15:27:23] <ada_ru> (Sergei) У Макса есть какие-то наработки по компилятору
[15:27:31] <ada_ru> (Sergei) Если он поделиться
[15:27:52] <ada_ru> (Максим) да наработок куча, результата не очень :)
[15:28:08] <ada_ru> (Sergei) Ну я посмотрел, Обероновский ЦПУ простой как репа.
[15:28:31] <ada_ru> (Sergei) Должно получится, мы слишком долго тренировались, Макс, пора что-то таки написать
[15:29:16] <ada_ru> (Sergei) Если будет сложно, ещё с десяток команд ненужным с CPU выкинем :)
[15:29:23] <ada_ru> (Максим) я просто не понимаю, зачем еще один ЦПУ :(
[15:31:15] <ada_ru> (Sergei) Идея попробовать разработать CPU с адо-программой в одном комплексе. Все проблемы вылазят на стыках. Потому как можно 100 раз верифицировать Ада программу, а где-то в связке Ада-CPU (там где OS) дыра - и все усилия зря.
Я хочу проверить, можно ли сделать весь комплекс верифицируемым. Ну, просто пробовать хочу, чтобы понять, реально ли это вообще
[15:32:08] <ada_ru> (Sergei) Мир катится в хакерский хаос
[15:32:40] <ada_ru> (Sergei) Хочу попробовать сделать девайс, который окажется хакерам не под силу
[15:34:03] <ada_ru> (Sergei) RISC-V мне не нравится тем, что там реализована защита памяти на аппаратном уровне. Я хочу - на программном, чтобы верифицировать можно было
[15:35:47] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <У Макса есть какие-т…>
отдельнй фронтенд + бекенд к Аде? Новый компиль?
[15:37:37] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <RISC-V мне не нравит…>
https://en.wikipedia.org/wiki/Singularity_(operating_system)
[15:37:41] <ada_ru> (I_vlxy_I) Оно?
[15:40:03] <ada_ru> (Sergei) О, интересно, посмотрю. Но, конечно, не уверен, что оно. Потому как о девайсе, о котором я говорю, мне пока не известно.
[15:40:55] <ada_ru> (I_vlxy_I) Ну и да, у Вирта тоже была идея, что мол если в комплексе разрабатывать ось+язык+железо, то можно обойтись без железной изоляции.
[15:41:03] <ada_ru> (Sergei) "assembly language and С". Я хочу исключить всё кроме Verilog и Ada
[15:41:46] <ada_ru> (Sergei) Ни одной строчки между Адой и HDL
[15:42:36] <ada_ru> (Sergei) "PACKAGE AdaHDL"
[15:43:09] <ada_ru> (I_vlxy_I) VHDL? 😊
[15:43:52] <ada_ru> (Sergei) Он лучше Ады?
[15:44:13] <ada_ru> (I_vlxy_I) ну, он некоторым нравится больше чем Верилог.
[15:44:32] <ada_ru> (I_vlxy_I) он с ада-подобным синтаксисом ну и более строгий нежели верилог.
[15:45:31] <ada_ru> (Sergei) Ну, я чайник ещё в этом. Но мне на Аде хочется попробовать. Для VHDL есть попытки делать верификацию кода?
[15:46:50] <ada_ru> (I_vlxy_I) что-то есть. поскольку это железо, там вроде довольно много суровых тулзов для этого. цена ошибки слишком велика чтобы не верифицировать.
[15:46:56] <ada_ru> (I_vlxy_I) http://osvvm.org/
[15:47:52] <ada_ru> (Sergei) Спасибо. Люблю, когда есть что-то новенькое.
[15:47:59] <ada_ru> (Sergei) для меня
[15:48:45] <ada_ru> (Sergei) Кстати, а почему VHDL ещё не вытеснил Аду?
[15:49:07] <ada_ru> (I_vlxy_I) дык они же в разных категориях вообще. VHDL он для проектирования железа, а не софтвера.
[15:49:27] <ada_ru> (I_vlxy_I) VHDL как и Verilog они же для того, чтобы процессор сделать.
[15:49:31] <ada_ru> (Sergei) Ага, значит софт на нём получится хреновый.
[15:49:41] <ada_ru> (Sergei) Но я всё равно посмотрю.
[15:49:56] <ada_ru> (I_vlxy_I) ну, сначала на FPGA там поиграться, потом уже ASIC, потом в суровый прод 😊
[15:51:05] <ada_ru> (I_vlxy_I) VHDL и Verilog ближе всего к миру реактивного программирования в софтвере. Железо то не последовательно работает 😊
[15:53:01] <ada_ru> (Sergei) Да, понимаю. Но мне интересно понять что посередине. Между железом и софтом. Пощупать.
[16:00:32] <ada_ru> (I_vlxy_I) да, у вирта еще микроязык для аппаратуры был/есть: https://people.inf.ethz.ch/wirth/Lola/index.html
[16:05:52] <ada_ru> (Sergei) Похоже у одного Вирта есть больше разработок, чем у некоторых софтверных компаний.
[16:06:30] <ada_ru> (I_vlxy_I) ну, у него они мимими-игрушечные. исследовательские. ну и он же исследователь. так что логично 😊
[16:07:57] <ada_ru> (Sergei) Он ещё в робототехнике ничего своего не сделал?
[16:08:40] <ada_ru> (I_vlxy_I) ну, он там что-то с вертолетом мутил 😊 ну, не он один. он там специальный диалект/версию оберона (языка) под это дело делал вроде.
[16:09:12] <ada_ru> (Максим) у vhdl вроде был симулятор на Аде. gvhdl
[16:09:41] <ada_ru> (Sergei)  отвечает (Максим) на <у vhdl вроде был сим…>
Ну тоже не плохо. Можно сэкономит на FPGA на первых порах.
[16:11:25] <ada_ru> (Sergei)  отвечает (I_vlxy_I) на <ну, он там что-то с …>
Интересно, а в Ада-сообществе кто-то делал что-то подобное? С вертолётами или лодками там например.
[16:12:44] <ada_ru> (I_vlxy_I) вроде в рамках этого контестика делают всякое любители и не очень: https://www.makewithada.org/
[16:13:19] <ada_ru> (I_vlxy_I) https://www.makewithada.org/highlights/autonomous-glider
[16:13:22] <ada_ru> (I_vlxy_I) например
[16:19:48] <ada_ru> (Sergei) Ага, даже летает вроде.
[16:22:16] <ada_ru> (Sergei) Хотя зря все стали делать именно летательные аппараты. Парусные яхты до 1 м длиной имеют преимущество среди движущихся роботов - макс. время автономной работы. Но у меня есть достаточно ресурсов по этому, просто всё не успеешь.
[16:23:28] <ada_ru> (Sergei) Точнее не макс. время, а наибольшая дистанция по передвижению
[16:24:21] <ada_ru> (I_vlxy_I)  отвечает (Sergei) на <Хотя зря все стали д…>
водоплавающими роботами, кстати, серьезно занимался (если еще не занимается) Гослинг.
[16:24:28] <ada_ru> (I_vlxy_I) Тот самый, который java.
[16:24:44] <ada_ru> (Sergei) Интересно, не знал
[16:25:57] <ada_ru> (I_vlxy_I) https://www.youtube.com/watch?v=E56w1I9Fnh8
[16:29:43] <ada_ru> (Максим) Вот еще реальный проект https://github.com/tum-ei-rcs/StratoX
[16:30:30] <ada_ru> (I_vlxy_I) прикольно
[17:09:47] <ada_ru> (Максим) https://tomekw.com/simple-blockchain-in-ada/
[17:15:54] <ada_ru> (Sergei) Да, адаблокчейн. Есть кстати клиент на блокчейн у меня. Если, Максим, интересно, можем попробовать ему на Аде пописать.
[17:18:51] <ada_ru> (Максим) да у меня еще море в ушах шумит...
[17:19:11] <ada_ru> (Sergei) Ну я тоже не горю особым желанием, у меня работа-то есть
[17:19:23] <ada_ru> (I_vlxy_I) ой. оказывается даже такое есть: https://www.codelabs.ch/cuda-ada/
[17:20:06] <ada_ru> (Sergei) Как море, кстати?
[17:20:42] <ada_ru> (Максим) отлично!
[17:20:53] <ada_ru> (Sergei) Это, по-идее, была бы Ада-конференция в Лазурном в этом году, было бы всё по-старому.
[17:21:44] <ada_ru> (Sergei) Я с Лазурного на тёплом море ещё не был. Северное - холодное оно.
[20:15:13] <ada_ru> (I_vlxy_I) Трололо! https://twitter.com/adaprogrammers/status/996948550910136321
[20:20:09] <ada_ru> (I_vlxy_I) O! http://www.adaic.org/wp-content/uploads/2018/06/PTC-ObjectAda-for-Windows-V10.pdf
[20:20:27] <ada_ru> (I_vlxy_I) Значит таки реально не только gnat существует.
[21:04:34] <ada_ru> (a) Как интересно тут.
[22:15:32] <ada_ru> (Vinpuh)  отвечает (I_vlxy_I) на <Значит таки реально …>
Да только сообществу от этого не сильно легче. Все это не доступно простым смертным.
[22:34:15] <ada_ru> (I_vlxy_I) в стратегическом - сильно легче. Если есть другие вендоры, значит язык все еще развивается отдельно от GNAT, значит на язык смотрят под разными углами, и стандарт все еще всесторонне рассматривается перед принятием.
[22:34:23] <ada_ru> (I_vlxy_I) и стандарт пока имеет смысл
[22:34:37] <ada_ru> (I_vlxy_I) иначе вместо стандарта было бы достаточно иметь доку на GNAT
[23:17:12] <OCTAGRAM> Vinpuh: простым смертным относительно доступен хотя бы AdaMagic с 95ой, и там какие-то изменения продолжаются
[23:20:45] <ada_ru> (Vinpuh)  отвечает на <(OCTAGRAM) Vinpuh: п…>
Вы знаете мне эта ситуация напоминает ситуацию с COBOL, где интузиасты пилят gnu cobol, а корпорации жмут инструментарий и плачут, что не хватает разработчиков, при этом зарабатывая много больше той же AdaCore
[23:21:19] <ada_ru> (I_vlxy_I) гхм. дык GNAT то доступен всем. и его совсем не энтузиасты пилят
[23:21:34] <ada_ru> (I_vlxy_I) GNAT FSF например
[23:21:52] <ada_ru> (I_vlxy_I) таки большая разница
[23:24:27] <ada_ru> (I_vlxy_I) ситуация с Адой скорее на ситуацию с каким-нибудь Фортраном больше похожа
[23:26:00] <ada_ru> (Vinpuh) Ну возможно такая же плохая, так каку COBOL ситуация получше, так как на нем написали много больше да и пишут еще чуток.
[23:27:47] <ada_ru> (I_vlxy_I) дык и на Аде еще чуток пишут 🙂
[23:29:27] <ada_ru> (I_vlxy_I) наверно всё действительно ужасно, но не так, а по-другому.