В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1621 membersпожаловаться на группу
2021 February 19

VZ

Vladislav Zavialov in Haskell
Не могу найти этот тикет, кто-нибудь может лучше меня ищет?
источник
09:28пожаловаться#1

VZ

Vladislav Zavialov in Haskell
https://gitlab.haskell.org/ghc/ghc/-/issues/18407

Все, вот он. Минут 10 искал
GitLab
Type-Level floats (#18407) · Issues · Glasgow Haskell Compiler / GHC
Motivation !3583...
источник
09:31пожаловаться#2

JS

Jerzy Syrowiecki in Haskell
только из-за ошибок округления?
источник
10:14пожаловаться#3

JS

Jerzy Syrowiecki in Haskell
а -0 и +0, которые равны, но не совпадают? или NaN, которые совпадают, но не равны?
источник
10:15пожаловаться#4

VZ

Vladislav Zavialov in Haskell
Это стоит написать в тикете
источник
10:46пожаловаться#5

JS

Jerzy Syrowiecki in Haskell
ок, написал
источник
10:55пожаловаться#6

ТТ

Тык Тыдык in Haskell
Jerzy Syrowiecki
а -0 и +0, которые равны, но не совпадают? или NaN, которые совпадают, но не равны?
Там еще и результат операций типа сложения зависит от их порядка. Я долго в своё время думал над формальным описанием тайплевльных чисел с плавающей точкой
источник
11:42пожаловаться#7

JS

Jerzy Syrowiecki in Haskell
с десятичными произвольной точности и рациональными работать можно, наверно
источник
11:44пожаловаться#8

ТТ

Тык Тыдык in Haskell
С национальными - да.
Я прост думал выражать на тайплевле свойства числовых матриц, которые завязаны на значениях элементов, а это часто именно float или double.
Это влечет необходимость описывать свойства этих чисел формально.

Задача решаемая, канеш, но...
источник
11:48пожаловаться#9

AL

Alexander Luzgarev in Haskell
Но зачем
источник
11:48пожаловаться#10

AL

Alexander Luzgarev in Haskell
(И нет, не решаемая, ибо для floating point numbers равенство не определено)
источник
11:49пожаловаться#11

JS

Jerzy Syrowiecki in Haskell
Alexander Luzgarev
(И нет, не решаемая, ибо для floating point numbers равенство не определено)
как это не определено? instance Eq есть
источник
11:49пожаловаться#12

AL

Alexander Luzgarev in Haskell
Инстанс чего угодно написать можно
источник
11:50пожаловаться#13

IR

IC Rainbow in Haskell
Jerzy Syrowiecki
как это не определено? instance Eq есть
(cries in epsilon)
источник
11:50пожаловаться#14

AL

Alexander Luzgarev in Haskell
Это не отношение эквивалентности
источник
11:50пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
Alexander Luzgarev
Это не отношение эквивалентности
почему?
источник
11:51пожаловаться#16

AL

Alexander Luzgarev in Haskell
Потому что не рефлексивно
источник
11:51пожаловаться#17

AL

Alexander Luzgarev in Haskell
NaN \neq NaN
источник
11:51пожаловаться#18

IR

IC Rainbow in Haskell
Alexander Luzgarev
NaN \neq NaN
держи ≠
источник
11:52пожаловаться#19

JS

Jerzy Syrowiecki in Haskell
Alexander Luzgarev
NaN \neq NaN
вы путаете floating point и IEEE 754
источник
11:52пожаловаться#20