[01:18:10] <ada_ru> (FROL256)  отвечает (Gourytch) на <на эту тему помню бы…>
Ну так это же наоборот хорошо, можно явно отследить проблемы
[01:18:28] <ada_ru> (FROL256) а если это не надо, flush to zero то наверное всегда можно сделать ключиком в компиляторе
[01:27:32] <ada_ru> (Gourytch)  отвечает (FROL256) на <Ну так это же наобор…>
ну тут как сказать...
ну вот, скажем, нам нужно посчитать тепловую скорость. задаётся она, как мы помним из физики-химии, формулой "корень три кота на мясо"
то или Vt = Sqrt(3 * k * T / m).
сама она, что характерно, состоит из трёх бинарных и унарного операторов, но результат каждой из этих бинарных операций по отдельности физического смысла может и не иметь, как, например результат деления температуры на массу.
[01:28:22] <ada_ru> (FROL256) понял что имеется ввиду
[01:28:28] <ada_ru> (FROL256) но ИМХО это bad design
[01:28:56] <ada_ru> (FROL256) делать отдельные типы для температуры и масы
[01:29:01] <ada_ru> (Gourytch) ну что поделать. иногда наука имеет bad design )
[01:29:08] <ada_ru> (FROL256) не это да )
[01:29:16] <ada_ru> (FROL256) а подтипы разве не решают эту проблему
[01:29:21] <ada_ru> (FROL256) &
[01:29:23] <ada_ru> (FROL256) ?
[01:29:34] <ada_ru> (FROL256) то есть обычный real но с огранияениями
[01:29:41] <ada_ru> (FROL256) а ну вообще нет, не решают
[01:29:51] <ada_ru> (Gourytch) а если не делать - то какой прок? как раз сильная типизация должна запрещать множить кроликов на сусликов =)
[01:30:26] <ada_ru> (FROL256) ну я на практике нашёл несколько ошибок в коде благодаря рантайм проверкам
[01:30:27] <ada_ru> (Gourytch) и делить на писк =)
[01:30:33] <ada_ru> (FROL256) все числа были типа floaat
[01:30:49] <ada_ru> (FROL256) и в определённый момент я получал недопустимые операции
[01:31:09] <ada_ru> (FROL256) что-то с тригонометрическими функциями или арктангенсом
[01:31:15] <ada_ru> (FROL256) не помню уже
[01:33:07] <ada_ru> (Gourytch) ну и была идея в том, что типизация это хорошо, но внутри порой приходится "делать стыдные вещи" такие как переводить всё в базовые типы и уже с ними творить перемножение-деление-вычитание. это как с нисхождением божественного огня: вот огня нет и свечка не горит, служитель берёт свечку, уходит куда-то в келью и там совершается таинство и - оппа - выносит горящую свечку! =)
[01:34:46] <ada_ru> (FROL256) да, понятно
[01:34:51] <ada_ru> (FROL256) в целом согласен )
[01:36:58] <ada_ru> (Gourytch) наверное потому фортран до сих пор крут у научников: он не пытается наставить ограничений, просто люди берут и пользуют библиотеки, коих скопилось неимоверный объём
[01:39:40] <ada_ru> (I_vlxy_I)  отвечает (Gourytch) на <на эту тему помню бы…>
Ну, у Оберона как бы она строгая. Но с размерностями он не работает. Это ж не F#, не Ада и не C++. И не хаскель.
[01:41:48] <ada_ru> (I_vlxy_I) В F# этот механизм вообще часть языка
[01:41:59] <ada_ru> (I_vlxy_I) (А не либы)
[01:44:33] <ada_ru> (Gourytch) F# не трогал, моя вина. Да и оберон с модулой тыкал, когда они ещё на пятидюймовых дискеках были, так что даже не вспомню, была ли там специализация типов... наверное не было. или было? не помню в общем.
[01:46:41] <ada_ru> (I_vlxy_I) В обероне - нет
[01:47:31] <ada_ru> (I_vlxy_I) Там, в одной из воследних редакций, даже алиасы для примитивных типов создавать нельзя было.
[01:50:54] <ada_ru> (I_vlxy_I) Но вот Оберон, говорят, физикам заходит. Строгая статическая типизация!
[01:51:20] <ada_ru> (I_vlxy_I)  отвечает (Максим) на <Система "Крым" 😂>
Это где такое? Это что?
[01:54:12] <ada_ru> (FROL256) это "День Оберона в России 2018", там где-то в середине
[01:54:39] <ada_ru> (I_vlxy_I) А что за проект то? Военка?
[01:57:02] <ada_ru> (FROL256) я когда слушал не понял что это, пролистал )
[01:57:21] <ada_ru> (FROL256) 2:46 примерно по-моему
[01:57:25] <ada_ru> (FROL256) по времени
[02:00:34] <ada_ru> (I_vlxy_I) Спасибо.
[02:00:46] <ada_ru> (FROL256) 2:42
[02:01:04] <ada_ru> (FROL256) платформа крым — опыт семантического расширения языка
[02:01:11] <ada_ru> (FROL256) н. з. )
[02:01:33] <ada_ru> (FROL256) не, 2:43
[02:03:41] <ada_ru> (I_vlxy_I) Странное название для такого проекта. Ну да ладно.
[02:13:14] <ada_ru> (t91x0)  отвечает (FROL256) на <платформа крым — опы…>
Был кот, а стал кiт. Расширили.
[10:24:45] <ada_ru> (Борис) https://www.youtube.com/watch?v=0XVa7FONyOA
[10:24:59] <ada_ru> (Борис) Второй день. Выступает сейчас Рыбин, если что)
[11:00:23] <ada_ru> (Борис) https://www.youtube.com/watch?v=ONM7d7H_5Mg
[11:00:37] <ada_ru> (Борис) (ссылка поменялась)
[13:32:04] <ada_ru> (Борис) Сейчас доклад Дмитрия Дагаева

https://youtu.be/nw2CqRwQgCQ
[13:38:43] <ada_ru> (Максим) А слабо было выступление по Аде записать полностью, а не последние две минуты 😕
[13:39:31] <ada_ru> (Борис) Не, оно полностью, всё нормально. Трансляция упала, её восстановили.
[13:39:54] <ada_ru> (Борис) Опубликуется полностью
[13:40:02] <ada_ru> (Максим) 👍
[23:21:37] <ada_ru> (I_vlxy_I) Аж на башорге всплыло: https://bash.im/quote/452916