[00:20:19] <ada_ru> (I_vlxy_I) фигасе! в Аде case это expression!
[00:20:29] <ada_ru> (I_vlxy_I) как и  if
[00:21:12] <ada_ru> (t91x0)  отвечает (I_vlxy_I) на <фигасе! в Аде case э…>
Шёл пятый месяц существования чата по Аде. Админ чата наконец-то начал узнавать собственно аду
[00:21:30] <ada_ru> (I_vlxy_I) ага 🙂
[00:21:48] <ada_ru> (I_vlxy_I) но я тут не единственный одмен. я всего лишь создал этот чятик.
[00:22:42] <ada_ru> (I_vlxy_I) мне собственно всегда казалось, что Ада несколько более.. деревянная. Но нет.
[00:22:58] <ada_ru> (I_vlxy_I) и за это лайк!
[09:05:55] <ada_ru> (nitrocerber)  отвечает (I_vlxy_I) на <но я тут не единстве…>
Мопед не мой (ц)
[09:06:14] <ada_ru> (nitrocerber) Ну кстати иф экспрешны и кейс экспрешны это достаточно свежий сахар
[10:39:34] <ada_ru> (I_vlxy_I)  отвечает (nitrocerber) на <Ну кстати иф экспреш…>
Ага. Ада-2012
[10:57:20] <ada_ru> (Максим) Основной аргумент был — для указания контрактов. Также как и (for all ...) (for some ...)
[11:01:41] <ada_ru> (I_vlxy_I) Нормально. Как в алголе прям.
[11:51:44] <ada_ru> (Denis) Для меня шоком стало, то что во всех этих expression можно кидать exception.
[11:52:49] <ada_ru> (I_vlxy_I) а почему нельзя? вызов функции это ж тоже expression, а в функции может случиться исключение
[11:55:32] <ada_ru> (Denis) Ну как-то грязновато получается. Вроде как выражения заставляют писать без побочных эффектов, а с другой стороны руками же их устроить можно.
[11:56:01] <ada_ru> (I_vlxy_I) дык исключение в выражении это ж базовая фишка Ады начиная с 83
[11:56:44] <ada_ru> (Denis) Это как с out параметрами у функций. Вроде всё логично, но как-то не строго.
[11:57:29] <ada_ru> (I_vlxy_I) вон, при сложении двух чисел тоже может исключение вылететь.
[12:01:00] <ada_ru> (Denis) С этим должны бороться контракты ну или какая-то предварительная проверка аргументов. А уж если дошло до выполнения функции-выражения, то хотелось бы уже не иметь побочных эффектов.
[12:04:55] <OCTAGRAM> побочные эффекты и исключения SPARK может проверить
[12:05:35] <ada_ru> (I_vlxy_I) а вот интересно, как он проверит простыню вычислений на отсутствие переполнений?
[12:05:57] <OCTAGRAM> там же всякие Alt Ergo в комплекте
[12:07:32] <ada_ru> (I_vlxy_I) то есть если предусловие на аргументы функции были где-то высоко и вверху, а я тут вот локально наяриваю сложные вычисления многоуровневые, то либо оно не сможет мне гарантировать отсутствие исключений либо на уже пятом выражении закричит что тут возможно переполнение.
[12:13:47] <ada_ru> (Максим) я сам не пробовал, но думаю. если исключение возможно, то оно найдет это и скажет. Сложно если циклы там какие-то, тогда надо убеждать его и придумывать/подсовывать инварианты циклов там
[14:22:17] <ada_ru> (I_vlxy_I) Интел жжот лицензией: https://perens.com/2018/08/22/new-intel-microcode-license-restriction-is-not-acceptable/
[14:45:30] <ada_ru> (nitrocerber) Осталось запретить его и вовсе использовать
[14:45:36] <ada_ru> (nitrocerber) И читать саму лицензию)
[14:47:14] <ada_ru> (I_vlxy_I) перед прочтением сжечь!
[14:51:51] <ada_ru> (nitrocerber) "По многочисленным просьбам наших читателей, со следующего месяца наша газета будет выходить в рулонах и без текста"...
[19:22:40] <ada_ru> (I_vlxy_I) из комментов к этой новости:
" Я просто перебрался с ноута с i7-3517U на "Эльбрус 801-РС".  Рядом порой лежит ноут с i5-7200U (с него сейчас пишу), но обычно просто захлопнутый и сонный-сонный... "
[21:25:53] <ada_ru> (a) Ага. Сколько там тот Эльбрус стоит? 100к рублей?
[21:26:31] <ada_ru> (t91x0) Относительно хороший ноут разработчика столько и стоит. Эльбрус-то дороже.
[21:41:11] <ada_ru> (nitrocerber)  отвечает (t91x0) на <Относительно хороший…>
Он стоит где-то вдвое больше, я бы сказал
[22:09:56] <ada_ru> (I_vlxy_I) Макбук плюс смузи!
[22:28:36] <ada_ru> (I_vlxy_I) точнее абонемент на смузи. без этого невозможно работать!
[23:04:39] <ada_ru> (nitrocerber) Макбук я ваще хз скока стоит. А делл годный гже-то две с плотиной еврачей. Как раз в районе двухсот тыщ. На смузи не остаётся(