[13:11:53] <ada_ru> (wladlos) https://osday.ru/
[13:33:08] <ada_ru> (wladlos) отвечает (t91x0) на <Есть ещё Smalltalk. …>
Вы - ошибаетесь. Не так, что бы он прямо кому-то жарко в затылок дышал, но - народ работает. И - серьёзные системы пишет и - в веб.
[13:36:47] <ada_ru> (I_vlxy_I) народ и на PL/I работает, так то.
[13:39:34] <ada_ru> (wladlos) отвечает (I_vlxy_I) на <народ и на PL/I рабо…>
ДА - нет. Здесь - далеко не "как-то", а - вполне с "чувством глубочейшего удовлетворения". :)
На тот же Pharo посмотреть. Довольно активно начали, в последние года три, на нём появляться новые фреймвоки и библиотеки с системами. Да и литературы со статьями и презентациями на конфах стало выходить, просто - валом.
[13:41:33] <ada_ru> (wladlos) Я хочу на своей малинки что-то из демок запустить-посмотреть, как оно, по сравнению с тем, что для Python-а и/или JS предлатгается, выглядит и живёт.
[14:29:22] <ada_ru> (Gourytch) отвечает (I_vlxy_I) на <народ и на PL/I рабо…>
больше на его проприетарном дивлекте: PL/360 - он жив и будет жить долго и мирно, как и HLASM
[14:30:49] <ada_ru> (Gourytch) но это очень специфично, ибо это язык эндемичный, кроме МежДелМаш-БЭВМ вряд ли куда расползётся )
[14:31:15] <ada_ru> (wladlos) Да там, по-моему, и одного HLASM-а за глаза хватает, при его возможностях и всей организации ОСи и системы в целом.
[14:31:45] <ada_ru> (Gourytch) HLASM вызывает труднопреодолимое желание удавиться у новичков.
[14:33:13] <ada_ru> (wladlos) Почему?
Нормальная система программирования. КОнечно, нюансы свои есть, как и везде. Но - очень всё по делу и мощно. :)
Своего рода, как и МАКРО-11 на PDP-ишках или СМ-ках.
[14:34:08] <ada_ru> (wladlos) отвечает (Gourytch) на <HLASM вызывает трудн…>
А вы - не из Челябинска, часом?
[14:34:41] <ada_ru> (Gourytch) отвечает (wladlos) на <А вы - не из Челябин…>
вообще да (с послезавтра, например), но в данный момент в Спб. )
[14:35:07] <ada_ru> (wladlos) Не из "Комплексных систем"?
[14:36:13] <ada_ru> (Gourytch) отвечает (wladlos) на <Не из "Комплексных с…>
рядом.
из прикладных технологий.
но в прошлом году удрал к морю. пресному. =)
[14:36:26] <ada_ru> (Eugene) отвечает (Gourytch) на <больше на его пропри…>
похоже, PL/360 оказался самым долговечным виртовским языком? )))
[14:37:17] <ada_ru> (wladlos) отвечает (Gourytch) на <рядом.
из прикладных…>
"Комплексные системы" - это название конторы, если чо. :)
[14:37:31] <ada_ru> (Gourytch) отвечает (Eugene) на <похоже, PL/360 оказа…>
просто под крыло хорошо попал да там и остался. Rational Ada тоже у IBM была, но они её выбросили.
[14:37:46] <ada_ru> (Gourytch) отвечает (wladlos) на <"Комплексные системы…>
"прикладные технологии" - тоже =)
[14:37:47] <ada_ru> (wladlos) отвечает (Gourytch) на <просто под крыло хор…>
А - причины?
[14:38:41] <ada_ru> (wladlos) отвечает (Gourytch) на <"прикладные технолог…>
Олега Сливу не встречали/не пересекались?
[14:39:45] <ada_ru> (Gourytch) отвечает (wladlos) на <А - причины? Чем обо…>
ну они его перепилили, адаптировали, скрестили с ассемблером и теперь у них эта химера живёт и здравствует.
на ней куча софта написана ещё с 80х годов, которым пользуются толстые (по размеру заносимого) клиенты. его саппортить надо.
[14:40:59] <ada_ru> (Eugene) цитирует (mbakhterev)
Не понимаю я такое отношение к Go. Нормальный язык для своей области. Нормальный инструмент. Мне приходилось пасти 1000 infibiband-узлов в кластере, прекрасно всё закодилось. Проблем не возникло. Он точно удобнее Java, и точно удобнее Си++ для таких задач. А то, что там система типов простенькая, ну так и что? Это что ли главным критерием удобства должно быть? Мне зачем сложные типы в восстановлении топологии сети? Я б с типами, наоборот, убился бы.
[14:42:12] <ada_ru> (Gourytch) отвечает (wladlos) на <Олега Сливу не встре…>
скорее нет, чем да.
[14:42:14] <ada_ru> (Eugene) отвечает (Gourytch) на <ну они его перепилил…>
наверное, вопрос был о причинах, по которым выбросили аду ))
[14:42:25] <ada_ru> (wladlos) отвечает (Eugene) на <наверное, вопрос был…>
Да. :)
[14:43:47] <ada_ru> (Gourytch) отвечает (Eugene) на <наверное, вопрос был…>
а. ну, как я дилетантски понимаю, у IBM периодически возникает зуд в области менеджмента и они начинают оптимизировать расходы. то, что приносит доходов меньше, чем хочется - то отсекается.
[14:46:54] <ada_ru> (Gourytch) zLinux прибылен и перспективен - его развивают. zSystem прибылен и стабилен - его развивают. ноутбуки менее прибыльны и менее стабильны - нафиг с пляжа.
[14:47:04] <ada_ru> (Gourytch) (как пример)
[14:47:21] <ada_ru> (wladlos) Вопрос к тем, кто "копал" глубоко в Аде.
Касательно системы арифметических типов.
Как известно, мы можем определять подтипы с разными интервальными значениями и точностью представления значений.
Теперь - вопрос:
для обработки таких РАЗНЫХ подтипов, используются одни и те же подпрограммы/команды
или
(в зависимости от получающихся, в итоге, разрядных сеток, шаклирования и размера данных) производится "коренная оптимизация" операций при манипулировании значениями таких подтипов?
[14:49:01] <ada_ru> (wladlos) отвечает (Gourytch) на <zLinux прибылен и пе…>
Тут ещ такое дело: они долго боролись за то, что бы мейнфреймовые решения стали более выгоднее, чем кластеры из ширпотрба + клиент-серверные решения.
Таки - да - добились. И - по потреблению энергии и - по масштабированию, и по стоимости операции.
[14:49:52] <ada_ru> (Gourytch) это да. мейнфреймы эффективны. но их фишка не в эффективности.
[14:49:59] <ada_ru> (Gourytch) их фишка - в надёжности.
[14:51:10] <ada_ru> (Gourytch) а последний тренд был - ещё и секурность. все потоки данных ненапряжно усекуриваются на уровне железа.
[14:51:41] <ada_ru> (wladlos) отвечает (Gourytch) на <их фишка - в надёжно…>
Это - самособой шло. Подразумеваемо.
У меня волосы дыбом встали, когда я перавый раз увидел, как системщик CPU и тома "на лету" менял... "Почище фаустагётте мозги прочищает!" :)
[14:53:02] <ada_ru> (Gourytch) меня порадовала возможность увеличения количества ядер и объём оперативной памяти звонком телефона =)
[14:55:19] <ada_ru> (wladlos) отвечает (wladlos) на <Это - самособой шло.…>
Так я потом смотрел графики работы и нагрузки: в момент "смены мозгов и памяти" был "просид на 13%, по-моему... А то, что был какой-то "сбой" или "разрыв соединения" - вообще ничего никто не заметил!
[14:56:27] <ada_ru> (wladlos) При этом там кланировалась какая-то биллинговая база данных и куча сайтов обслуживалась на виртуалках.
[14:59:54] <ada_ru> (Gourytch) ну там почти всё под виртуальными средами. на голом железе редко что запускается.
[15:46:14] <ada_ru> (Максим) отвечает (wladlos) на <Вопрос к тем, кто "к…>
В Аде ты можешь складывать/умножать только значения одного типа (в твоей терминологии подтипа), исключение есть для типов с фиксированной точностью
[16:14:27] <ada_ru> (wladlos) отвечает (Максим) на <В Аде ты можешь скла…>
Максим, ты не понял вопроса.
[16:21:21] <ada_ru> (wladlos) Он был НЕ о совместимости типов или об арифметике со значениями разных числовых типов в одном выражении, а - о способах оперирования со значениями разных числовых типов самих по себе (даже - без "перемешивания" в одном выражении).
Я понимаю, что, на большинстве архитектур, генераторами кода будут для int8 и int32 разные команды подставлены. А как там, например, решается вопрос с фиксированной точкой, представимой масштабированными целыми? Там есть какой-то общий набор команд на все такие случаи (с параметризацией под конкретный тип), или - применяется разная последовательность обработки, наиболее подходящая под данный тип?
[16:21:50] <ada_ru> (wladlos) И - верно ли это будет под все архитектуры?
[16:23:19] <ada_ru> (I_vlxy_I) можно поиграться в compiler explorer
[16:23:36] <ada_ru> (I_vlxy_I) https://godbolt.org/z/zB511C
[16:23:44] <ada_ru> (I_vlxy_I) правда для ады там пока только x86_64
[16:23:51] <ada_ru> (wladlos) Мне надо, например, перенести с одного микроконтроллера что-то сугубо числодробительное, на другой. А у меня есть такт системы. И в этом такте у меня есть процентовка времени от доительноти этого такта на разные части. Так вот, есть ли гарантия, что, за счёт нюансов архитеткуры (системы команд", у меня не "поплывут" соотношения времён работы?
[16:24:55] <ada_ru> (I_vlxy_I) подозреваю, что таких жестких гарантий Ада не дает.
[16:25:30] <ada_ru> (I_vlxy_I) собственно там даже про то, как именно будет передаваться inout аргумент функции гарантий не дают.
[16:25:48] <ada_ru> (wladlos) Я как раз и выясняю нюансы генерации команд для масштабированных чисел. У меня там много есть вычислений с фиксированной запятой.
[16:26:18] <ada_ru> (wladlos) То есть, всё надо на тестах и проверках на примерах, "щупать"...
[16:27:41] <ada_ru> (I_vlxy_I) и на каждой следующей версии компилятора, полагаю, тоже. под каждую платформу.
[19:59:57] <ada_ru> (I_vlxy_I) btw, если кто не видел: https://blog.adacore.com/using-pointers-in-spark
[20:01:07] <ada_ru> (Lieutenant_Commander_Data) указатели не нужны
[20:01:27] <ada_ru> (Lieutenant_Commander_Data) Inspired by the Rust ownership model, the SPARK language now has support for pointers, which is included in the GNAT Community 2019 edition!
[20:06:46] <ada_ru> (I_vlxy_I) <прислал наклейку> 🦀
[20:18:32] <ada_ru> (Максим) отвечает (wladlos) на <Он был НЕ о совмести…>
Вопросики однако... Фиксированный тип представляется целым подходящим по размеру. Соответственно все операции над фиксированным типом выражаются операциями над этим целым плюс маштабирование. Гарантии по тактам никто не дает