[00:10:15] <geniepro> короче, как я понял, функция, принимающая или возвращающая значения приватного типа, тоже становится приватной
[00:10:27] <geniepro> даже если описана не в приватной секции
[00:10:55] <ada_ru> (I_vlxy_I) В каком ЯП?
[00:11:21] <geniepro> ну в аде
[00:17:28] <geniepro> я сделал это!
with Ada.Text_IO;
procedure Hello is
package Foo is
type Bar is tagged private;
function getBfromB return Integer;
private
type Bar is tagged record
B : Integer;
end record;
end Foo;
package body Foo is
function makeB return Bar is
begin
return (B => 13);
end makeB;
function getBfromB return Integer is
B: Bar;
begin
B := makeB;
return B.B;
end getBfromB;
end Foo;
begin
Ada.Text_IO.Put_Line (Foo.getBfromB'Img);
end Hello;
[00:17:49] <geniepro> ну никак по другому ((
[00:24:54] <geniepro> вот как-то так:
with Ada.Text_IO;
procedure Hello is
package Foo is
type Bar is tagged private;
function Boo return Bar;
function getBfromBar(B:in Bar) return Integer;
private
type Bar is tagged record
B : Integer;
end record;
end Foo;
package body Foo is
function Boo return Bar is
begin
return (B => 13);
end Boo;
function getBfromBar(B:in Bar) return Integer is
begin
return B.B;
end getBfromBar;
end Foo;
begin
Ada.Text_IO.Put_Line (Foo.getBfromBar(Foo.Boo)'Img);
end Hello;
[00:25:07] <geniepro> $gnatmake -o hello *.adb
gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali -o hello
$hello
13
[10:50:47] <ada_ru> (nitrocerber) Ну так всё равно дотступа к полю записи нет
[10:50:51] <ada_ru> (nitrocerber) Есть вызов геттера
[13:59:42] <ada_ru> (I_vlxy_I) Да, это скучно.
[14:02:55] <ada_ru> (Максим) Веселее сделать f.b().b = 1234 и посмотреть где потом свалится 😄
[14:04:38] <ada_ru> (I_vlxy_I) на этапе компиляции, тащемто.
[14:05:15] <ada_ru> (I_vlxy_I) это ж rvalue
[14:05:26] <ada_ru> (I_vlxy_I) так что тут проблем нет с надежностью
[14:30:38] <ada_ru> (Sergei) C++, Ada, Fortran рулят
[14:30:44] <ada_ru> (Sergei) Java отстой
[14:32:58] <ada_ru> (I_vlxy_I) а C#?
[14:33:21] <ada_ru> (I_vlxy_I) java вот очень олдовый язык.
[14:37:46] <ada_ru> (Максим) https://www.adachess.com/other/is-ada-a-good-choice-to-develop-a-chess-engine.html
[14:43:46] <ada_ru> (t91x0) отвечает (Sergei) на <Java отстой>
Jvm очень хороша, clr'у по оптимизированности и изощренности далеко до jvm
[15:19:00] <ada_ru> (Sergei) @I_vlxy_I "java вот очень олдовый язык". Разве они с Python не современники?
[15:19:27] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <@I_vlxy_I "java вот …>
да, но профиль развития у них очень разный.
[15:19:44] <ada_ru> (I_vlxy_I) java была сразу создана юзабельной и довольно взрослой, а потом развивалсь очень консервативно
[15:19:57] <ada_ru> (I_vlxy_I) а питон наоборот - имел медленный и убогий старт, а потом пошла жара
[15:28:47] <ada_ru> (Sergei) Но как прекрасны зависимости библиотек Java в графическом представлении.
https://upload.wikimedia.org/wikipedia/commons/7/7f/JavaUniverse.png
[15:29:19] <ada_ru> (Sergei) Максим интересно, такое можно для матрёшки згенерить?
[15:30:37] <ada_ru> (Sergei) Кто может сказать человеку, не знающему Питон (и думающему, что любую задачу можно решить на C++, Ada, Prolog, PHP), чем он так хорошо и почему так популярен.
[15:30:43] <ada_ru> (Максим) Нет, матрёшка простая, там от силы 15 rpm
[15:32:49] <ada_ru> (nitrocerber) отвечает (Sergei) на <Кто может сказать че…>
На нём можно быстро научить говнокодить даже обезьяну. Вот обезьяны и того-с... Пользуются.
[15:34:46] <ada_ru> (Sergei) Как бы Java тоже была задумана для простоты обучения ... но что-то пошло не туда наверное. Вот только что.
[15:35:08] <ada_ru> (Gourytch) отвечает (Sergei) на <Кто может сказать че…>
learning curve пологая потому что.
[15:35:41] <ada_ru> (Gourytch) и + куча библиотек.
[15:35:48] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <Как бы Java тоже был…>
жаба слишком проста, поэтому сложность вышла на новый уровень 😊
[15:36:06] <ada_ru> (I_vlxy_I) так то под десктоп и сейчас на жабе очень просто писать.
[15:36:20] <ada_ru> (I_vlxy_I) весь выше визуализированный ужас это j2ee всякое.
[16:17:12] <ada_ru> (Oleg) отвечает (Sergei) на <Кто может сказать че…>
Ну много библиотек готовых. С типами не надо заморачиваться, строки списки и прочее очень легко, всякие for each
[16:17:26] <ada_ru> (Oleg) ну как то так
[16:17:34] <ada_ru> (Oleg) все просто и легко
[16:18:24] <ada_ru> (Oleg) А я тут для пятона на C++ сделал библиотеку
[16:18:46] <ada_ru> (Oleg) Тоже вполне не сложно
[16:19:41] <ada_ru> (I_vlxy_I) то есть еще и с си-плюсами интерфейсится легко. в обе стороны
[16:21:26] <ada_ru> (Sergei) отвечает (I_vlxy_I) на <то есть еще и с си-п…>
ого, даже можно класс С++ из питона заюзать?
[16:21:39] <ada_ru> (Sergei) не только extern "C" секцию?
[16:21:53] <ada_ru> (I_vlxy_I) да
[16:22:08] <ada_ru> (I_vlxy_I) поэтому opencv и отказались от сишного API.
[16:23:44] <ada_ru> (Sergei) я теперь понял, почему python обошёл java. Из-за возможности использовать С++ либы. Вот так-то.
[16:24:22] <ada_ru> (I_vlxy_I) ну, то есть там нужны некие присядания со стороны и плюсовой тоже, чтобы было всё хорошо, но тем не менее.
[16:24:44] <ada_ru> (I_vlxy_I) поэтому львиная доля либ для питона писана на С++ 😊
[16:25:46] <ada_ru> (Sergei) То есть, за подающим надежду молодым человеком стоит богатый папа С++
[16:25:47] <ada_ru> (I_vlxy_I) ога
[16:27:33] <ada_ru> (I_vlxy_I) А за С++ стоит Си.
[16:27:53] <ada_ru> (Sergei) За C++ стоят люди, которые смогли его освоить
[16:28:00] <ada_ru> (I_vlxy_I) в том числе, да.
[16:33:17] <ada_ru> (Oleg) И есть два пути писания библиотек
[16:34:07] <ada_ru> (Oleg) Суровый с использованием только python.h
[16:34:24] <ada_ru> (Oleg) И для слабаков, с сипользованием PyBind11
[16:34:40] <ada_ru> (Oleg) Я пока выбрал первый, но уже пожалел 😊))
[16:35:21] <ada_ru> (Oleg) Ну и у меня вянда - а что делать -DirectShow
[16:59:00] <ada_ru> (Dersu) За такими языками как Python, будущее. Наплевать, что интерпретатор тормозной, железо становится все мощнее.
[16:59:33] <ada_ru> (Sergei) отвечает (Dersu) на <За такими языками ка…>
Закон Мура перестал действовать, говорят
[17:01:50] <ada_ru> (Dersu) Уже на нем в микроконтроллеры пишут, не удивлюсь если он скоро С потеснит. Ещё 10 лет назад о таком и подумать никто не мог.
[17:02:25] <ada_ru> (FROL256) Коллеги, это демагогия! Каждый язык хорошь для своих задач, кроме Ады... она просто Хороша! )
[17:02:40] <ada_ru> (Sergei) Почему, лет 15 назад думали, что Java всех потеснит.
[17:02:48] <ada_ru> (Sergei) отвечает (FROL256) на <Коллеги, это демагог…>
:)
[17:05:26] <ada_ru> (Dersu) Ада хороша. Американцы не были дураками в конце 70-х. И в Союзе сразу язык оценили, тут тоже дураков не было в научном сообществе. Если бы не развал союза, неизвестно как все пошло дальше.
[17:06:09] <ada_ru> (Sergei) отвечает (Dersu) на <Ада хороша. Американ…>
Развал союза не причина, что всё пошло не так, а следствие
[17:10:29] <ada_ru> (Sergei) Чтобы не уходить сильно в политику, можно рассматривать только один, чисто технический инцидент, предшествующий "развалу" - Чернобыль. И где была Ада и надёжные методы?
[17:14:31] <ada_ru> (Oleg) Python на микроконтроллерах - это порнография
[17:15:32] <ada_ru> (Sergei) отвечает (Oleg) на <Python на микроконтр…>
"вы говорите порнография, как-будто это что-то плохое". Ну, я в смысле, многие контроллеры уже порнография by design, особенно made in china, почему и не python
[17:15:51] <ada_ru> (I_vlxy_I) отвечает (Sergei) на <Закон Мура перестал …>
да. последние дни настают...
[17:15:55] <ada_ru> (Oleg) Ж-)
[17:16:26] <ada_ru> (Oleg) Так в том то и дело что не плохо - просто медленно и неудобно. Пока в царстве микроконтроллеров - C
[17:16:39] <ada_ru> (Oleg) Не путать с Raspberry подобными
[17:16:45] <ada_ru> (Oleg) Это не микроконтроллер
[17:18:33] <ada_ru> (Sergei) Кстати, там был какой-то процесс, чтобы запретить терминологию "master - slave", теперь как-то по-другому принято описывать характер сего взаимодействия
[17:18:49] <ada_ru> (Sergei) политкорректно
[17:20:47] <ada_ru> (Sergei) хотя, папа-мама пока не возмущаются
[17:21:03] <ada_ru> (Sergei) motherboard
[17:21:09] <ada_ru> (I_vlxy_I) отвечает (Oleg) на <Python на микроконтр…>
а js? 😊
[17:21:20] <ada_ru> (FROL256) этавообщежуть)
[17:21:28] <ada_ru> (Oleg) Это вобще ужос
[17:22:04] <ada_ru> (Sergei) отвечает (I_vlxy_I) на <а js? 😊>
это здесь картинку постили на эту тему "только почему сзади корова?"
[17:22:22] <ada_ru> (Sergei) и ответ "а - это же js!"
[17:23:30] <ada_ru> (Sergei) не любят js что-то
[17:23:52] <ada_ru> (nitrocerber) отвечает (I_vlxy_I) на <а js? 😊>
<прислал фото>
[17:24:20] <ada_ru> (I_vlxy_I) O_O
[17:24:30] <ada_ru> (nitrocerber) здесь не видел, но я много проматываю. но она много где мелькала
[17:34:19] <ada_ru> (Sergei) https://stackoverflow.com/a/35677586
[17:38:55] <ada_ru> (t91x0) отвечает (Sergei) на <Чтобы не уходить сил…>
Очень толсто
[17:41:09] <geniepro> Sergei) Закон Мура перестал действовать, говорят
разве? постоянно уменьшают техпроцесс, это позволяет увеличивать количество транзисторов в процессоре -- а что ещё нужно для этого закона?
[17:41:42] <geniepro> вот когда упрутся в кристаллическую решётку, это когда дойдут до техпроцесса в один нанометр, вот тогда этот закон перестанет работать
[17:42:22] <ada_ru> (Sergei) отвечает (t91x0) на <Очень толсто>
Ничего не толсто, разве что драйвера на js и атомные электростанции образца 1960-80 гг имеют много общего - деградация инженерной культуры.
[17:43:54] <ada_ru> (t91x0) отвечает (Sergei) на <Ничего не толсто, ра…>
Говорить про Чернобыль без политики не получится, это и политика и диверсия. Языки тут не при чём
[17:43:54] <geniepro> ada_ru> (Oleg) Так в том то и дело что не плохо - просто медленно и неудобно. Пока в царстве микроконтроллеров - C
в американских журналах по электронике за 809-е годы с ликованием писали: ну вот, настало время 32-битных (микро)контроллеров, это позволит писать софт на современных высоконадёжных языках типа Ада и С++!!!
[17:44:04] <geniepro> 80-е*
[17:45:00] <ada_ru> (Oleg) Так и дос их пор восновном плейн C - и на 8 битных тоже
[17:45:06] <ada_ru> (Sergei) отвечает (t91x0) на <Говорить про Чернобы…>
Я не думал, что это политика и диверсия. Я имел в виду техническую недоработку, процесс приёмки и тестирования таких сооружений и отсутствие внимание к репортам по этой проблеме, на которую уже натыкались до чернобыля.
[17:45:08] <ada_ru> (Oleg) Ассемблер слишком сурово
[17:47:02] <ada_ru> (Sergei) я могу говорить только на основе мемуаров Дятлова о чернобыле, это документ
[17:48:39] <geniepro> насколько я в курсе, разработчики обнаружили какой-то дефект в конструкции реакторов того типа, что стояли на чернобыльской АЭС, и кого надо предупредили, но до конкретных эксплуататоров ЧАЭС эти инструкции не дошли, вот и получился бабах
[17:49:05] <geniepro> то есть потеря контроля и управления
[17:49:34] <geniepro> ну, в принципе, эта же самая потеря контроля в управлении союзом и привела к бабаху в союзном масштабе
[17:52:01] <ada_ru> (Sergei) отвечает на <(geniepro)
наскольк…>
совершенно верно. А ещё стоит добавить, что эти реакторы не делались для гражданского применения изначально. Они, почему-то, делали не только тепло и свет, но и много плутония, как сайд продукт
[17:52:48] <ada_ru> (Sergei) и даже при всём при этом, Ады там не было
[17:53:07] <geniepro> ой а давайте пообсуждаем ариан-5 ))))))
[17:53:36] <geniepro> помог бы SPARK обнаружить проблему ариана-5?
[17:56:30] <geniepro> Oleg) Ассемблер слишком сурово
лет 15 назад мне пришлось переписать обработчик прерывания для программы на сишечке для мелкоконтроллера MCS-51, потому что там в сишном коде генерировались стандартные помещения в стек каких-то там регистров, в результате мне не хватало одного машинного цикла -- полмикросекунды!
переписал на ассм -- и всё норм стало ))))
[17:56:59] <ada_ru> (Sergei) отвечает на <(geniepro)
ой а дав…>
Я за, но к сожалению, пока не в теме. Почитаю по дороге домой.
[17:59:03] <geniepro> Sergei) Я за, но к сожалению, пока не в теме.
там проблема была в том, что решили повторно использоать код от ариана-4, но при этом не учли, что траектория взлёта ариана-5 сильно отличалась от ариана-4
ещё там проблема была в том, что в этом коде экономили байты в переменных
в результате получилось переполнение, бортовой комп дал сбой, резервные компы аналогично дали сбой -- и ракета бабахнула!!!
[17:59:28] <geniepro> вот непомню, вроде там отключали контроль переполнений в программе... или не отключали... что-то такое было
[18:00:21] <geniepro> если отключили контроль переполнения, то тогда в расчётах неверные результаты пошли, и полетела не туда куда надо
[18:00:41] <geniepro> а всё патамушта недотестировали! не делали модел-чекинг!
[18:01:42] <ada_ru> (Sergei) отвечает на <(geniepro)
Sergei) …>
ну тут я думаю следующее. Ракеты очень легко бабахают по разным причинам, и ошибки в программе - не самая первая в ряду. То есть, возможно программа соответствовала требуемому уровню надёжности, котороая не должна сильно превышать общую надёжность в силу других причин. В России вот, компоненты ракеты, как мы знаем после последней аварии, собирают "на глазок" и иногда стучат кувалдой, если не влазит.
[18:02:17] <geniepro> ну не кувалдой, а так, кияночкой ))))
[18:02:38] <geniepro> зато прорекламировали супернадёжность системы спасения экипажа )))
[18:06:25] <ada_ru> (Sergei) Не забывайте, что кроме чисто ручных операций при сборке, старт ракеты - это искусство ручных операций и контроля большой команды, если я правильно представляю
[18:06:50] <ada_ru> (Sergei) все эти шланги подачи топлива и отваливающиеся по команде платформы
[18:07:39] <ada_ru> (Sergei) у военных там изначально автоматика полная и класс надёжности потому наверное выше
[18:08:06] <ada_ru> (Sergei) но я не большой спец по ракетам
[18:17:08] <ada_ru> (Sergei) отвечает на <(geniepro)
ой а дав…>
Бегло посмотрел репорт. Полетело исключение, которое проверялось не там, где надо. Spark не знаю, но обычное тестирование с покрытием всех возможных переполнений должно было помочь
[18:18:18] <ada_ru> (Sergei) вообще, есть целая устойчивая тенденция в космической технике - тестировать только positive path
[18:19:18] <ada_ru> (Sergei) коллега, который участвовал в своё время в запуске и разработке одного украинского спутника, рассказывал, как забавно он терял на время управление и кувыркался каждый раз, пересекая экватор из-за деления на 0
[18:19:41] <geniepro> ada_ru: там же при старой траектории от ариана-4 эта ошибка не возникла бы, а вот то, что этот код засунули в ариан-5 без дополнительного тестирования -- и привело к ошибке
[18:20:05] <geniepro> эта история про экватор вапще-то про какой-то американский истребитель была
[18:21:08] <ada_ru> (Sergei) отвечает на <(geniepro)
ada_ru: …>
да, аналогичная ситуация была в России год назад, когда ракета или спутник пошли не под тем углом и написали "что мы с такими параметрами не тестировали". Negative path - это намеренный поиск условий "за гранью нормального" и смотреть, что программа нормально справляется
[18:23:55] <ada_ru> (Sergei) "эта история про экватор вапще-то про какой-то американский истребитель была" - за что купил, за то продал. А по поводу надёжности - первый искусственный спутник Земли имел серийный номер 3.
[18:24:10] <ada_ru> (Sergei) Это я уже знаю со слов участника запуска
[18:25:06] <ada_ru> (Sergei) в том числе первых двух
[18:35:45] <ada_ru> (Sergei) это то, для чего предумали "белый ящик". Тест кейс строится от обратного. "В этом месте может быть исключение. Какие данные подать, чтобы оно произошло"
[18:36:09] <ada_ru> (I_vlxy_I) ломай его полностью!
[18:38:27] <ada_ru> (Sergei) а вот уже поиск таких входных данных, его можно автоматизировать, есть constraint programming, например. И да, если в Аде можно анализировать дерево семантики, это можно
[18:38:58] <ada_ru> (I_vlxy_I) а есть еще quickcheck всякие
[18:39:33] <ada_ru> (Sergei) тут вопрос не в том, как программу писать, а как тестировать. Каждый quickcheck надо тоже покрыть
[18:39:51] <ada_ru> (I_vlxy_I) не. quickcheck как раз именно что тестирует
[18:40:04] <ada_ru> (I_vlxy_I) и находит минимальные входные данные на которых тест фейлится. сам находит.
[18:40:23] <ada_ru> (I_vlxy_I) https://en.wikipedia.org/wiki/QuickCheck
[18:41:11] <ada_ru> (Sergei) отвечает (I_vlxy_I) на <не. quickcheck как р…>
О, один из немногих постов сильно по делу. Спасибо! Ради этого стоит сюда заходить.
[18:41:30] <ada_ru> (I_vlxy_I) You are welcome! 😊
[18:42:22] <geniepro> это же хаскельная либа, неужто за пределами хаскеля её тоже юзают?
[18:42:41] <ada_ru> (I_vlxy_I) посмотри в википедию. там реализации для любых ЯП есть
[18:42:43] <ada_ru> (I_vlxy_I) ну или почти любых
[18:42:53] <geniepro> для ады нету ))))
[18:43:20] <ada_ru> (I_vlxy_I) Это пока.
[18:43:49] <ada_ru> (Sergei) отвечает на <(geniepro)
для ады …>
Всковырнули тему
[18:44:07] <geniepro> вот кстати, мне эта либа так и не зашла почему-то, не понравилась, хз почему.. хотя на работе я и делаю мелкие проги на хаскелле, но тестирую на реальных данных
[19:33:17] <ada_ru> (I_vlxy_I) <прислал фото>
[19:51:49] <ada_ru> (I_vlxy_I) "The MAX aircraft is the latest version of Boeing's popular 737 jetliner. It is equipped with an automated system that pushes the nose down if a sensor detects that the nose is pointed so high that the plane could go into an aerodynamic stall.
Lemme described "a deadly game of tag" in which the plane pointed down, the pilots countered by manually aiming the nose higher, only for the sequence to repeat about five seconds later. That happened 26 times during the 11-minute flight, but pilots failed to recognize what was happening and follow the known procedure for countering incorrect activation of the automated safety system, Lemme told The Associated Press.
Lemme said he was also troubled that there weren't easy checks to see if sensor information was correct, that the crew of the fatal flight apparently wasn't warned that similar problems had occurred on previous flights, and that the Lion Air jet wasn't fully repaired after those flights."
[19:51:52] <ada_ru> (I_vlxy_I) https://www.chicagotribune.com/business/ct-biz-lion-air-crash-report-boeing-737-max-20181128-story.html
[19:52:02] <ada_ru> (I_vlxy_I) Б - Боинг. Б - Безопасность!
[19:58:41] <ada_ru> (Oleg) https://pjreddie.com/darknet/
[20:01:05] <ada_ru> (Oleg) Да - летайте эйрбасом
[20:02:20] <ada_ru> (I_vlxy_I) да, чото, кажется, европейские и самолеты и ракеты надежнее американских 😞
[20:02:30] <ada_ru> (I_vlxy_I) но и, небось, дороже.
[22:06:02] <ada_ru> (Oleg) Все хочу на SAAB 2000 полетать
[22:25:29] <ada_ru> (I_vlxy_I) а саабы еще делают?
[22:26:42] <ada_ru> (Oleg) Военные уже только но на базе 2000 делают ДРЛО
[22:30:18] <ada_ru> (I_vlxy_I) написано что больше не производят
[22:30:50] <ada_ru> (Oleg) Это только пассажирские. На выставке в этом году был и Гриппен и ДРЛО на базе SAAB 2000
[22:40:42] <ada_ru> (I_vlxy_I) а saab же как-то страдал-банкротился-продавался всем подряд. не?
[22:45:20] <ada_ru> (Oleg) Не - это автомобили
[22:45:47] <ada_ru> (Oleg) А самолеты вон они с боингом для США учебно тренировочный самолет будут делать
[22:50:34] <ada_ru> (I_vlxy_I) о, боинг сделает хороший самолет, многому летчики на нем научатся 🙂
[22:51:54] <ada_ru> (Oleg) 😊
[22:52:14] <ada_ru> (I_vlxy_I) после учебы будут все седые, но опытные!
[22:56:17] <ada_ru> (Oleg) Вот вам
[22:56:19] <ada_ru> (Oleg) По теме
[22:56:20] <ada_ru> (Oleg) http://www.sigada.org/conf/sa98/papers/frisberg.pdf
[22:56:30] <ada_ru> (Oleg) Usage of Ada in the Gripen Flight Control System
[22:58:03] <ada_ru> (Oleg) The flight control software in the primary processor is
implemented in Ada with five periodic tasks. The harmonic
frequencies are 120, 60, 30, 15 and 7.5 Hz, which are
common for the total avionic system including the 1553 bus
Usage of Ada in the Gripen Flight Control System
Bo Frisberg
Saab AB
SE-581 88 Linköping
Sweden
Phone: +46 13 18 32 18
Bo.Frisberg@saab.se
communication
[22:59:13] <ada_ru> (Oleg) https://habr.com/post/316430/
[22:59:26] <ada_ru> (Oleg) Интересно было бы на АДА
[22:59:34] <ada_ru> (Oleg) Под STM то самое то
[22:59:37] <ada_ru> (Oleg) Кстати!
[22:59:47] <ada_ru> (Oleg) Новы проект под STM заварганю на АДА
[23:17:12] <geniepro> о, кстати, если у меня 64-битный компилятор gnat, я смогу им генерировать 32-битные экзешники (под винду хр)?
[23:20:23] <ada_ru> (I_vlxy_I) фигасе ты эстет-некрофил
[23:21:05] <geniepro> ну что поделать, по работе надо -- у нас сотни старых терминалов на хр, которые никто менять просто так не будет
[23:22:59] <ada_ru> (I_vlxy_I) фига у вас там музей экзотических терминалов
[23:23:04] <geniepro> а, кстати, gnat-community-2018-20180611-x86_64-windows-bin.exe -- значит там и 32бит и 64?
[23:23:18] <ada_ru> (I_vlxy_I) почему?
[23:23:29] <ada_ru> (I_vlxy_I) это ж одна платформа x86_64 -- это чисто 64 бита
[23:23:33] <geniepro> или x86_64 значит amd64?
[23:23:38] <ada_ru> (I_vlxy_I) x86_64 == AMD64
[23:23:55] <ada_ru> (I_vlxy_I) чорт. оператором сравнения палюсь...
[23:24:17] <geniepro> да ваще )))
[23:24:38] <geniepro> сразу видно -- человек хаскелем увлекается )))
[23:32:40] <geniepro> а почему на сайте https://www.adacore.com/download/more далеко не все версии гната от 2018г, для какого-то там RISC-V сделали, а для венды 32бита, дотнета и jvm неудосужились?
[23:56:49] <ada_ru> (I_vlxy_I) деприкатед
[23:57:11] <ada_ru> (I_vlxy_I) они не тянут все подряд версии гната постоянно. только то, что востребовано реально
[23:57:20] <ada_ru> (I_vlxy_I) под jvm небось тоже свежатины нет
[23:57:30] <ada_ru> (I_vlxy_I) или там под lego
[23:58:44] <geniepro> а опция -m32 поможет мне сгенерировать экзешник для [86 венды?
[23:59:33] <ada_ru> (I_vlxy_I) там же еще и рантайм нужен 32битный
[23:59:44] <ada_ru> (I_vlxy_I) то есть либ и рантайма может не быть