[02:03:07] <ada_ru> (Lieutenant_Commander_Data) привет, Kelly
[03:28:13] <ada_ru> (Лекс) но ведь полуось лет 15 как мертва
[03:32:32] <ada_ru> (I_vlxy_I) нет. https://www.ecomstation.com
[03:33:13] <ada_ru> (I_vlxy_I) вон, Боинг юзает
[08:47:18] <ada_ru> (Lieutenant_Commander_Data) https://www.makewithada.org/
[08:47:34] <ada_ru> (Lieutenant_Commander_Data) Скоро начнётся!
[11:02:05] <ada_ru> (I_vlxy_I) Уже?!
[11:03:04] <ada_ru> (I_vlxy_I) Вот еда бы можно там было проект не для embedded делать, а для сервера/десктопа...
[15:45:55] <ada_ru> (I_vlxy_I) Или там можно?
[15:48:35] <ada_ru> (AnatoliyChepiga) Привет друзья по Аде! Что новенького в нашем любимом языке программирования?
[15:54:24] <ada_ru> (Vinpuh)  отвечает (AnatoliyChepiga) на <Привет друзья по Аде…>
Привет. Ничего, у Ады же стандарт, вот ждём выхода нового, молчим 😁
[16:04:26] <ada_ru> (Eugene) я сёдня листал википедию, статью про типы, нашёл упоминание, что в Аде202х будут зависимые типы, параметризуемые любым термом... занятно...
[16:04:53] <ada_ru> (AnatoliyChepiga) Зачем?
[16:05:20] <ada_ru> (Eugene) для статических гарантий корректности кода
[16:06:09] <ada_ru> (AnatoliyChepiga) Звучит вроде как убедительно, конечно
[16:06:42] <ada_ru> (Eugene) проблема в том, что в системе зависимых типов, параметризуемых любым термом, сравнение двух типов становится алгоритмически неразрешимой задачей...
[16:07:43] <ada_ru> (AnatoliyChepiga) Звучит как жесть какая-то
[16:08:07] <ada_ru> (Eugene) не более жесть, чем в с++ тетрис во время компиляции
[16:08:25] <ada_ru> (t91x0)  отвечает (Eugene) на <я сёдня листал викип…>
Как-то слабо верится
[16:08:42] <ada_ru> (AnatoliyChepiga)  отвечает (Eugene) на <не более жесть, чем …>
А это где такое есть?
[16:10:29] <ada_ru> (Eugene)  отвечает (AnatoliyChepiga) на <А это где такое есть…>
https://github.com/mattbierner/Super-Template-Tetris
[16:11:50] <ada_ru> (AnatoliyChepiga)  отвечает (Eugene) на <https://github.com/m…>
Ну я даже не знаю... Выглядит как какая-то форма извращения
[16:14:37] <ada_ru> (I_vlxy_I)  отвечает (AnatoliyChepiga) на <Ну я даже не знаю...…>
Это ты про c++ вообще, или только про этот пример?
[16:15:49] <ada_ru> (t91x0)  отвечает (AnatoliyChepiga) на <Ну я даже не знаю...…>
В чате по Golang Боширов, тут Чепига. Кругом одни агенты.
[16:15:53] <ada_ru> (AnatoliyChepiga) Про пример в большей степени
[16:16:10] <ada_ru> (AnatoliyChepiga) Агентi!
[16:53:59] <ada_ru> (Oleg)  отвечает (AnatoliyChepiga) на <Привет друзья по Аде…>
Не туда зашел 😊 тут про раст с++ ну или на худой конец про go да питон можно спрашивать
[16:54:00] <ada_ru> (Oleg) 😊
[17:03:49] <ada_ru> (Eugene) омг а я думаю, почему мне имя знакомо:
https://ru.wikipedia.org/wiki/Чепига,_Анатолий_Владимирович
[17:19:52] <ada_ru> (Максим) Если есть желающие, могу вынести мозг подробностями моих идей по собственной реализации разрешения имен (AKA cross ref) для Ады
[17:19:54] <ada_ru> (Максим) https://forge.ada-ru.org/gela/wiki/ru/env
[17:21:09] <ada_ru> (Максим) думаю, как подступиться. набросал общие моменты "на бумаге"
[17:23:12] <ada_ru> (I_vlxy_I) Думаю нужно вначале обозначить проблему которую нужно решить. Ее корни и почему она не решается другими методами.
[17:23:23] <ada_ru> (I_vlxy_I) Народ то не в теме :-)
[17:24:26] <ada_ru> (Максим) Проблема простая 😋 Дана программа на Аде, надо каждому "идентификатору" в программе найти где он объявлен
[17:27:11] <ada_ru> (Максим) нет, даже ещё проще.
[17:29:10] <ada_ru> (Максим) Есть "точка" в программе на Аде. Нужно для данного "символа" (идентификатора, знака операции или символьного литерала) найти все видимые в этой точке определения этого символа. В виде двух списков "непосредственно видимые" и "видимые через use".
[17:29:53] <ada_ru> (I_vlxy_I) Какой-нибудь asis этого не может?
[17:30:28] <ada_ru> (Максим) может. пока он живой :) Но скоро нужен будет "свой" ASIS
[17:31:50] <ada_ru> (Максим) мне просто не с кем обсудить такое. В семье меня не понимают 😄 Вот, ищю, кому может быть это интересно
[17:35:01] <ada_ru> (Максим) на самом деле ASIS этого не делает. Это делает GNAT, который вызывается ASIS-ом. GNAT сохраняет дерево, а ASIS его "просто" читает
[17:36:12] <ada_ru> (t91x0)  отвечает (Максим) на <мне просто не с кем …>
Вы не хотите обсудить это на RSDN с авторами Nemerle/Nitra? Правда вам потребуется сделать полное описание ады на Нитре. Но она может подобное.
[17:40:30] <ada_ru> (Eugene)  отвечает (Максим) на <мне просто не с кем …>
https://t.me/CompilerDev к вашим услугам ))
[17:41:02] <ada_ru> (Максим) Не думаю, что там кого-то интересует Ада
[17:41:11] <ada_ru> (AnatoliyChepiga)  отвечает (Eugene) на <омг а я думаю, почем…>
Я с вами, поцоны)
[17:46:29] <ada_ru> (Максим) > полное описание ады на Нитре
Я на русском это толком сформулировать не могу, какая уж тут Нитра 😊 Поэтому и нужны собеседники, чтобы объясняя лучше понять самому 😊
[17:48:19] <ada_ru> (I_vlxy_I) В компиляторном чатике думаю людей интересуют   клмпиляторные технологии вне зависимости от ЯП
[18:50:23] <ada_ru> (Eugene)  отвечает (Максим) на <> полное описание ад…>
ну эта, берёшь резиновую уточку, залазишь с нею в ванну и рассказываешь ей свою проблему ))))
[18:50:50] <ada_ru> (I_vlxy_I) Скорее в гамак. И лыжи не забыть.