[02:13:26] <ada_ru> (geniepro) картинка https://www.ada-ru.org/files/bot/2020-07-01-x10.jpg
[09:02:50] <ada_ru> (sergey_dukov) отвечает (reznikmm) на <League.Stream_Elemen…>
Максим, не подскажете, что за проект "gnatcoll_text" в проекте "ada_language_server"?
[09:44:18] <ada_ru> (reznikmm) отвечает (sergey_dukov) на <Максим, не подскажет…>
Это попытка возродить матрёшку под крылом АдаКоры с новыми идеями. Основная идея - возможность иметь разные варианты реализации строки за общим удобным ООП интерфейсом. Сейчас готов потоковый интерйейс к JSON, т.к. он нужен для ALS. Начальная реализация тут https://github.com/godunko/gnatcoll-texts/, а после согласования с начальством оно было переименованно в Virtual Strings и лежит теперь тут https://github.com/AdaCore/VSS/
[09:49:11] <ada_ru> (sergey_dukov) отвечает (reznikmm) на <Это попытка возродит…>
Спасибо. Сейчас посмотрю. Что-то у меня проблемы с установкой "libadalang" или он теперь не нужен?
[09:49:58] <ada_ru> (reznikmm) Нужен. Но не нужен Сишный генератор сканеров, который они когда-то использовали
[10:00:01] <ada_ru> (sergey_dukov) отвечает (reznikmm) на <Нужен. Но не нужен С…>
При генерации кодов, генерируется только проект "langkit_support", а проект "libadalang" — нет. сейчас я установил "langkit_support" отдельно. Попробую сгенерить "libadalang" снова. А может это проблемы с ПИТОНОМ 3.9?
[10:01:50] <ada_ru> (reznikmm) Даже не знаю. Там в репозитории есть скрипты, которые собирают его на каждом комите под виндой в том числе. Может там посмотреть?
[10:02:34] <ada_ru> (reznikmm) https://github.com/AdaCore/libadalang/blob/master/.appveyor.yml
[10:11:15] <ada_ru> (reznikmm) а еще был какой-то доброволец собирающий gps сам на гитхабе
[10:14:26] <ada_ru> (sergey_dukov) Сейчас сгенерил с параметром "--no-langkit-support". Скрипт сообщает, что все этапы генерации прошли успешно. Но даже директория "build" не появилась. Пройду-ка я отладчиком по всему скрипту.
[10:35:59] <ada_ru> (nitrocerber) Как ж я рад, что могу бинари лала таскать. Ни в жисть бы я его руками не собрал))
[11:19:15] <ada_ru> (reznikmm) отвечает (nitrocerber) на <Как ж я рад, что мог…>
Ты столько секаса с питоном пропустил! 😄
[12:39:24] <ada_ru> (I_vlxy_I) Змееложество!
[13:34:06] <ada_ru> (reznikmm) отвечает (reznikmm) на <Диагностика ошибок н…>
Сделал вывод ошибок при некорректном вводе...
[13:36:11] <ada_ru> (Oleg) отвечает (reznikmm) на <Сделал вывод ошибок …>
Всю радость испортил 😊
[13:37:32] <ada_ru> (Oleg) А Unit тесты для ады как пейсать?
[13:45:28] <ada_ru> (I_vlxy_I) отвечает (reznikmm) на <У меня есть ДЕМО! Хо…>
а оно каждый раз докер собирает?
[13:46:53] <ada_ru> (reznikmm) оно кеширует образ на hub.docker.com как я понял
[13:47:23] <ada_ru> (reznikmm) отвечает (Oleg) на <А Unit тесты для ады…>
Ну есть aunit
[14:02:36] <ada_ru> (Paul) Юнит тесты для Ады нонсенс
[14:02:46] <ada_ru> (I_vlxy_I) отвечает (Paul) на <Юнит тесты для Ады н…>
Почему?
[14:03:34] <ada_ru> (reznikmm) Потому, что тесты для слабаков, а такие в Аду не умеют!
[14:03:44] <ada_ru> (I_vlxy_I) 100 процентный кавередж - обычное требование в областях где Ада применяется
[14:03:58] <ada_ru> (I_vlxy_I) Причём не только по строчкам, но и по бранчам
[14:04:04] <ada_ru> (Paul) Тесты скорее не уверенных в себе программистов
[14:05:12] <ada_ru> (Paul) Вопрос зачем покрывать то что доказано в программе
[14:05:37] <ada_ru> (Paul) Есть же спарк и вообще в аде сложно написать лажу
[14:07:47] <ada_ru> (reznikmm) не всё что Ада, то спарк. Я написал много чего на Аде и ничего на спарке
[14:08:37] <ada_ru> (Paul) Ок, есть ада 2012 а там контракты
[14:11:34] <ada_ru> (Oleg) :-)
[14:12:45] <ada_ru> (Paul) 100% покрытие ничего не гарантирует кроме самоуспокоения
[14:14:52] <ada_ru> (reznikmm) На Аде легко накосячить, хотя может и труднее, чем на других языках. Тесты позволяют хоть что-то обнаружить
[14:15:50] <ada_ru> (reznikmm) Контракты в Аде 2012 без тестов ничего не дают, т.к. они проверяются в момент исполнения. А без тестов исполнения не будет 😊
[14:17:55] <ada_ru> (Paul) Не согласен , в аде трудно накосячить более того если грамотно подходить то и на других языках можно вполне жить без ют
[14:18:20] <ada_ru> (Paul) Контракты гарантируют что программа будет выполнять то что от неё ожидают
[14:31:44] <ada_ru> (reznikmm) Вон GPS и с тестами не работает. Да, было трудно, но мы посторались 😂
[15:05:14] <ada_ru> (I_vlxy_I) https://www.facebook.com/andrey.nevolin.31/posts/10219984427953762
[15:22:55] <ada_ru> (geniepro) отвечает (reznikmm) на <Контракты в Аде 2012…>
ну в принципе так контракты и работают, даже в том же эйфеле
[15:30:03] <ada_ru> (I_vlxy_I) отвечает (Paul) на <Контракты гарантирую…>
контракты это всего лишь рантайм проверки которые плюются исключениями. у тебя, без тестирования, в боевой системе выскочит исключение там, где ты того не ждешь. и все ляжет.
[15:30:46] <ada_ru> (I_vlxy_I) юнит тесты не панацея конечно, они просто увеличивают вероятность выявление проблемы до начала следующих этапов тестирования. то есть на более раннем этапе
[15:33:17] <ada_ru> (I_vlxy_I) отвечает (I_vlxy_I) на <https://www.facebook…>
арм - топчик!
[16:58:11] <ada_ru> (I_vlxy_I) народ в С++ чатике хочет конфу по Аде 😄
[17:14:48] <ada_ru> (t91x0) отвечает (I_vlxy_I) на <народ в С++ чатике х…>
А вот этот чат им чем неудобен?
[17:15:16] <ada_ru> (I_vlxy_I) тем, что конфа штука концентрированная и можно поглощать пассивно инфу
[17:15:26] <ada_ru> (I_vlxy_I) а чат - это такое, вялотекущее и требующее проактивности
[17:15:47] <ada_ru> (a) хочет, пусть делает
[17:16:10] <ada_ru> (a) молодым у нас дорога %)
[17:34:33] <ada_ru> (foxtran) отвечает (a) на <хочет, пусть делает>
Это опасно ))))
[18:43:38] <ada_ru> (I_vlxy_I) https://github.com/pascalabcnet/pascalabcnet/issues/2224
[18:43:43] <ada_ru> (I_vlxy_I) :-D
[18:54:33] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-07-02-x11.jpg
[18:54:49] <ada_ru> (I_vlxy_I) > ВОПРОС ЖИЗНИ И СМЕРТИ
[18:54:51] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-07-02-x12.jpg
[19:03:55] <ada_ru> (nitrocerber) Боже мои глаза текут
[19:04:15] <ada_ru> (I_vlxy_I) да, паскаль синтаксис он такой!
[19:04:17] <ada_ru> (nitrocerber) вот вроде говорят ада от паскаля пошла.. а читаю этот код, и вроде как на се написано, так же чудовищно
[19:04:19] <ada_ru> (I_vlxy_I) ужас же, ну!
[19:04:21] <ada_ru> (I_vlxy_I) вот то ли дело С++...
[19:04:34] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <вот вроде говорят ад…>
ну вот да
[19:04:41] <ada_ru> (I_vlxy_I) я тоже особо общего у ады и паскаля не вижу
[19:04:51] <ada_ru> (I_vlxy_I) Ада - красивая!
[19:05:10] <ada_ru> (nitrocerber) а рейдж школоты конеш смешон
[19:05:20] <ada_ru> (I_vlxy_I) и древних преподов!
[19:43:55] <ada_ru> (mister_alexander) Сейчас читаю https://www.goodreads.com/book/show/530415.The_Art_of_Doing_Science_and_Engineering
Обнаружил там любопытное про Аду:
Unfortunately, at least in my opinion, the ada language was designed by experts, and it shows all the non-humane features you can expect from them. It is, in my opinion, a typical computer science hacking job—do not try to understand what you are doing, just get it running. As a result of this poor psychological design, a private survey by me of knowledgeable people suggests that although a government contract may specify the programming be in ada, probably over 90% will be done in fortran, debugged, tested, and then painfully, by hand, be converted to a poor ada program, with a high probability of errors!
[19:55:16] <ada_ru> (nitrocerber) интересно, а сколько фортрана сечас в авионике и оборонке
[19:58:09] <ada_ru> (foxtran) отвечает (nitrocerber) на <интересно, а сколько…>
Многа!
[19:58:14] <ada_ru> (foxtran) Но он скрывается!
[19:58:32] <ada_ru> (nitrocerber) не, я без сарказма, реально интересно
[19:58:38] <ada_ru> (nitrocerber) все орут про сю и кресты в основном
[19:58:58] <ada_ru> (foxtran) Материаловедение оооочень любит Фортран
[19:59:05] <ada_ru> (nitrocerber) на фортране дофига всякой математики
[19:59:15] <ada_ru> (foxtran) А сколько его использвется в оборонке - хороший вопрос :-)
[19:59:20] <ada_ru> (nitrocerber) дифурня там и прочие рунге-кутты в 100 шагов
[19:59:40] <ada_ru> (nitrocerber) насколько это всё нужно апачи хеликоптерам - вот вопрос)
[20:02:22] <ada_ru> (I_vlxy_I) чувак из самсунга говорил, что в мобилках и смартвотчах дочерта кода на Фортране в графике в основном
[20:02:32] <ada_ru> (I_vlxy_I) всякий там BLAS и проч
[20:02:48] <ada_ru> (Victor) отвечает (nitrocerber) на <все орут про сю и кр…>
Вообще то, Дейкстра, когда про мосты вспоминал, зря не написал правду жизни: инженер он под мост становился почему?
Чтобы сразу. А иначе линчевали.
А с Си - безответственность.
Интересно, сколько бы осталось адептов, если бы не всё сходило с рук. Причём, надо не ограничиваться стрелочниками.
[20:05:32] <ada_ru> (Victor) отвечает (I_vlxy_I) на <и древних преподов!>
Это Паскаль ( который уже мутировал сильно) - его разве сложно откомпилировать?
(
Если им не нравиться warning, то коментируешь нужные строки в исходном тексте компилятора и ...
)
[20:08:38] <ada_ru> (Victor) отвечает (I_vlxy_I) на <я тоже особо общего …>
А у Modula-2 и потомков - общее с Ada есть?
(
Вы будете смеяться, но на Ada очень похож ... Visual Basic.
По крайней мере, то что конвертер Java to VB было похоже.
)
[20:09:56] <ada_ru> (I_vlxy_I) отвечает (Victor) на <А у Modula-2 и потом…>
да, там больше сходства.
[20:11:11] <ada_ru> (Victor) отвечает (I_vlxy_I) на <да, там больше сходс…>
В Modula-3, кстати, цикл FOR в части объявления индекса цикла "на месте" - как в Ada.
[20:11:37] <ada_ru> (I_vlxy_I) да, там и дженерики появились. правда они там не на уровне языка, по сути, а на уровне билдсистемы
[20:14:45] <ada_ru> (Victor) отвечает (I_vlxy_I) на <да, там и дженерики …>
Я бы за это не переживал бы абсолютно: в Modula-3 многое на уровне Quack (?).
Он встроен в компилятор.
В нём есть циклы(!).
[20:19:24] <ada_ru> (Victor) Кстати, за Pascal скажите спасибо Джобсу.
Он им американских школьников мучал.
Turbo Pascal - дальнейшее развитие именно Паскаля от Apple.
Потом "саксофонист" полфирмы за Modula-2 "отправил в свободное плавание".
Как результат: пачки лишних BEGIN. И издевательства на форумах и Хабрах...
[20:25:27] <ada_ru> (nitrocerber) за begin и for стреляю в упор
[20:25:41] <ada_ru> (nitrocerber) или как там в посанских пабликах пишут
[20:26:29] <ada_ru> (Victor) Вот за for - не понятно: "он же везде"
[20:29:14] <ada_ru> (Victor) отвечает (nitrocerber) на <или как там в посанс…>
В конце 80х "металлюги" не то, что "программизмом" не увлекались, даже "волну" не слушали.
Нет: 100% надо вводить систему мостостроения Дикого Запада. С неотвратимостью.
[20:29:47] <ada_ru> (nitrocerber) отвечает (Victor) на <Вот за for - не поня…>
он рифмуется хорошо, а так да, не в кассу
[20:30:25] <ada_ru> (Victor) отвечает (nitrocerber) на <он рифмуется хорошо,…>
"Читатель ждёт уж слово розы"
[20:35:34] <ada_ru> (Victor) Кстати, про Apple.
Google поддежал инициативу и теперь обе империи зла будут "чмырить" ( термин верный уж больно: ибо из практики их подельников) SSL сертификаты сроком более 398 дней.
Никакого зла не хватает...
( Изготовители срертификатов на "сходняке" были против. Их было 2/3. Но беспредельщикам - не указ)
[20:36:18] <ada_ru> (Victor) Такие вот будни империализма...
[21:01:42] <ada_ru> (I_vlxy_I) отвечает (nitrocerber) на <он рифмуется хорошо,…>
это про Оберон скорее всего.
[21:03:41] <ada_ru> (I_vlxy_I) Ибо там есть BEGIN, а вот FOR Вирт выпилил.
[21:03:53] <ada_ru> (I_vlxy_I) как излишество
[21:06:48] <ada_ru> (Victor) отвечает (I_vlxy_I) на <Ибо там есть BEGIN, …>
Уже вернул. Вернее, сразу же: в Oberon2.
А в исходных текстах компиляторов FOR таки нет.
Я расчёт CRC32 даже и не узнал с первого взгляда.
[21:09:49] <ada_ru> (Victor) отвечает (I_vlxy_I) на <как излишество>
А когда про это читал, чуть книгу не захлопнул и не выкинул куда подальше.
( Мысленно: без экрана не обойдёшься)
Естественно CASE и FOR излишества.
Но они незаменимы для оптимизации при компиляции.
[21:09:50] <ada_ru> (I_vlxy_I) В Оберон-2 не он вернул.
[21:09:56] <ada_ru> (I_vlxy_I) Оберон-2 не Виртом делался в основном.
[21:11:03] <ada_ru> (mister_alexander) У кого-нибудь тут есть 3D принтер?
[21:11:12] <ada_ru> (Victor) отвечает (I_vlxy_I) на <Оберон-2 не Виртом д…>
Да, подпись свою поставил.
Минимум как соавтор.
[21:11:29] <ada_ru> (nitrocerber) отвечает (mister_alexander) на <У кого-нибудь тут ес…>
хочешь похакать и распечатать fat bag of dicks?
[21:11:31] <ada_ru> (I_vlxy_I) подпись да. типа - блакословляю. играйтесь
[21:12:06] <ada_ru> (mister_alexander) отвечает (nitrocerber) на <хочешь похакать и ра…>
<прислал документ>
[21:12:14] <ada_ru> (mister_alexander) точно так
[21:12:49] <ada_ru> (mister_alexander) https://www.creality3d.shop/products/creality3d-ender-3-pro-high-precision-3d-printer
[21:12:52] <ada_ru> (mister_alexander) Вот такой норм?
[21:13:10] <ada_ru> (nitrocerber) чот подозрительно дешёвый
[21:13:47] <ada_ru> (mister_alexander) распродажа
[21:14:07] <ada_ru> (I_vlxy_I) СРОЧНАЯ ЛИКВИДАЦИЯ СКЛАДА!
[21:14:12] <ada_ru> (I_vlxy_I) Ну, или просто - срочная ликвидация
[21:15:37] <ada_ru> (Victor) А линейка и коробок спичек где для масштаба?
Посуду так любят продовать.
Потом пишут: она же для кукол
[21:17:55] <ada_ru> (mister_alexander) Large Build Volume
The 8.7 x 8.7 x 9.8" (220x220x250mm) build area allows you to create large and complex models.
[21:22:19] <ada_ru> (Victor) отвечает (mister_alexander) на <Large Build Volume
T…>
Универсальный способ: взвешивать на почте до вскрытия посылки.
( сперва, конечно, подержав в руках и сказав курьеру: идём сложным путём, извини друг)
Сам то я теоретик бизнеса, но передаю опыт -)
[21:22:41] <ada_ru> (mister_alexander) отвечает (Victor) на <Универсальный способ…>
Что это вообще значит?
[21:23:55] <ada_ru> (Victor) отвечает (mister_alexander) на <Что это вообще значи…>
Китайцы освоили новый метод: делаем уменьшенную копию.
Продаём задёшево. И т.д.
[21:25:26] <ada_ru> (I_vlxy_I) отвечает (Victor) на <Китайцы освоили новы…>
типа как Левша?
[21:27:19] <ada_ru> (Victor) отвечает (I_vlxy_I) на <типа как Левша?>
Нет: типа для кукольного домика.
И по размеру, и для отмазки от Alibaba.
[21:37:19] <ada_ru> (foxtran) О! Принесу Вам немного фортрана! https://www.ada-ru.org/files/bot/2020-07-02-x13.jpg
[21:39:22] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-07-02-x14.jpg
[21:39:42] <ada_ru> (I_vlxy_I) питоняка в конце!
[21:41:09] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-07-02-x15.jpg
[21:42:10] <ada_ru> (I_vlxy_I) картинка https://www.ada-ru.org/files/bot/2020-07-02-x16.jpg
[21:44:22] <ada_ru> (I_vlxy_I) Крестыыы! https://www.ada-ru.org/files/bot/2020-07-02-x17.jpg
[21:46:34] <ada_ru> (foxtran) Коллбеки Python <-> Frotran https://www.ada-ru.org/files/bot/2020-07-02-x18.jpg
[21:52:35] <ada_ru> (I_vlxy_I) блин. чо такое все докладчики то молодые? это ж фортран! они все должны быть древними старцами!
[21:53:55] <ada_ru> (I_vlxy_I) и народу много!
[21:54:04] <ada_ru> (I_vlxy_I) 100+ человек в зуме слушают доклад
[21:58:27] <ada_ru> (foxtran) отвечает (I_vlxy_I) на <100+ человек в зуме …>
Было и 150)))
[22:04:54] <ada_ru> (Victor) отвечает (I_vlxy_I) на <блин. чо такое все д…>
Да ладно уж: в статье про MISRA на Хабре Аду и Fortran-77 назвали надёжным языками для embeded.
Прямо через запятую, в одном предложении.
[22:05:57] <ada_ru> (I_vlxy_I) в общем, гайс, если будете русскоязычную конфу по Аде мутить, я могу свой доклад про санитайзеры к Аде адаптировать 🙂
[22:06:57] <ada_ru> (foxtran) отвечает (I_vlxy_I) на <в общем, гайс, если …>
Можно доклад про интероп ады и фортрана без использования С замутить
[22:07:38] <ada_ru> (foxtran) О. Тут продакшен на gpu
[22:07:45] <ada_ru> (foxtran) И 8К нод )
[22:07:56] <ada_ru> (I_vlxy_I) Ada provides standard interfaces to C, C++, Fortran and Cobol.
[22:08:04] <ada_ru> (I_vlxy_I) так что да, можно без Си
[22:08:05] <ada_ru> (foxtran) отвечает (I_vlxy_I) на <Ada provides standar…>
😔
[22:08:14] <ada_ru> (foxtran) Тогда с Rust
[22:08:17] <ada_ru> (I_vlxy_I) причем стандартным образом
[22:08:44] <ada_ru> (I_vlxy_I) какой ещё язык так умеет? 🙂
[22:09:06] <ada_ru> (foxtran) отвечает (I_vlxy_I) на <какой ещё язык так у…>
Cobol
[22:09:09] <ada_ru> (foxtran) C
[22:09:25] <ada_ru> (I_vlxy_I) С в своем стандарте вроде как ничего про кобол и фортран не знает
[22:09:42] <ada_ru> (I_vlxy_I) про кобол на скажу, но подозреваю, что тоже в стандарте про другие языки там не густо