ТТ
(И нет, не решаемая, ибо для floating point numbers равенство не определено)
Почему , можно попробовать, например, работать с ними, не как с десятичным числом, а как с парой (мантисса, порядок)?
Size: a a a
2021 February 19
AL
вы путаете floating point и IEEE 754
Тогда можно определить equality, но оно несколько бесполезно
JS
Тогда можно определить equality, но оно несколько бесполезно
когда?
AL
Если забыть про стандарт
AL
Стандарт же глупые люди писали, что они понимают в числах
AL
(В Rust на такой случай есть PartialEq)
JS
если забыть про стандарт, вообще ничего работать не будет.
я говорю, что не все типы с плавающей точкой и не все дробные представления ломают математику. IEEE 754 — ломает
я говорю, что не все типы с плавающей точкой и не все дробные представления ломают математику. IEEE 754 — ломает
AL
Почему , можно попробовать, например, работать с ними, не как с десятичным числом, а как с парой (мантисса, порядок)?
Ничего не изменится примерно
ТТ
Но зачем
Чтоб выражать свойства матриц. Например, выписывать для тайпчекера поведение определителя и отлавливать ошибки, связанные с ним.
JS
есть способы работать с числами и без плавающей точки
JS
есть способы работать с плавающей точкой без NaN
AL
если забыть про стандарт, вообще ничего работать не будет.
я говорю, что не все типы с плавающей точкой и не все дробные представления ломают математику. IEEE 754 — ломает
я говорю, что не все типы с плавающей точкой и не все дробные представления ломают математику. IEEE 754 — ломает
Типы с плавающей точкой ломают математику примерно все
AL
есть способы работать с плавающей точкой без NaN
Тогда ломается что-нибудь другое
AL
Ну и в процессорах-то IEEE 754, никуда не денешься
ТТ
есть способы работать с числами и без плавающей точки
Дык идея была в том, чтоб отразить поведение уже широко используемых типов (
JS
для завтипов достаточно починить Eq, я полагаю
ТТ
Ну и в процессорах-то IEEE 754, никуда не денешься
+
JS
Ну и в процессорах-то IEEE 754, никуда не денешься
но его можно не использовать, когда не надо
AL
для завтипов достаточно починить Eq, я полагаю
Ну как бы если это просто наборы бит то пожалуйста
JS
Дык идея была в том, чтоб отразить поведение уже широко используемых типов (
а всё ли поведение нужно на уровне типов?