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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1653 membersпожаловаться на группу
2020 December 23

IR

IC Rainbow in Haskell
IC Rainbow
https://bitbashing.io/comparing-floats.html

я пока нашёл такую штуку, но может где-то есть каноничный хаскельный вариант.
ИМХО подобные приколы вообще должны быть частью всех этих тестировалок.
Bit Bashing
Comparing Floating-Point Numbers Is Tricky
Yet another programming blog. Thoughts on software and related misadventures.
256 ulps максимальная разница при сравнении mat4 * mat4 * mat4
источник
18:08пожаловаться#1

IR

IC Rainbow in Haskell
а нет, нифига, если подольше покрутить, можно и побольше выбить 😅
источник
18:10пожаловаться#2

IR

IC Rainbow in Haskell
в общем нужен способ чтобы расчитывать допустимую ошибку из входных данных )=
источник
18:11пожаловаться#3

АХ

Алексей Худяков... in Haskell
Если в конечной матрице где-то должен получиться ноль — сколько угодно может выйти
источник
18:11пожаловаться#4

IR

IC Rainbow in Haskell
Алексей Худяков
Если в конечной матрице где-то должен получиться ноль — сколько угодно может выйти
вообще легко. три переноса и всё кроме диагонали и переносов по нулям
источник
18:14пожаловаться#5

Y

Yuuri in Haskell
Maxim Koltsov
(a ~ a2, a ~ a3, b ~ b2, b ~ b3) => Each (a, a2, a3) (b, b2, b3) a b
Расскажите вкратце, почему нельзя просто Each (a, a, a) (b, b, b) a b
источник
18:45пожаловаться#6

MK

Maxim Koltsov in Haskell
Yuuri
Расскажите вкратце, почему нельзя просто Each (a, a, a) (b, b, b) a b
чтобы потом нельзя было написать инстанс Each (Int, String, Bool) ...
источник
18:45пожаловаться#7

MK

Maxim Koltsov in Haskell
будет оверлапиться с тем
источник
18:45пожаловаться#8

АХ

Алексей Худяков... in Haskell
Yuuri
Расскажите вкратце, почему нельзя просто Each (a, a, a) (b, b, b) a b
И вывод типов. Инстанс подходит под любую трёх элементную туплю, а в этом варианте придётся сначала доказывать, что все типы одиноковые
источник
18:54пожаловаться#9

JS

Jerzy Syrowiecki in Haskell
а также чтобы получить внятную ошибку, если всё-таки написать (Int, String, Bool) ^.. each
источник
18:54пожаловаться#10

JS

Jerzy Syrowiecki in Haskell
Алексей Худяков
И вывод типов. Инстанс подходит под любую трёх элементную туплю, а в этом варианте придётся сначала доказывать, что все типы одиноковые
так ведь в любом случае доказывать равенство типов?
источник
18:55пожаловаться#11

АХ

Алексей Худяков... in Haskell
На практике вариант с ~ рабтает куда лучше. Пример сходу не придумаю
источник
18:56пожаловаться#12

AA

A64m AL256m qn<co... in Haskell
Jerzy Syrowiecki
так ведь в любом случае доказывать равенство типов?
после того как словарь выбран уже
источник
18:56пожаловаться#13

Y

Yuuri in Haskell
Всем спасибо
источник
18:57пожаловаться#14

JS

Jerzy Syrowiecki in Haskell
A64m AL256m qn I0
после того как словарь выбран уже
это быстрее работает?
источник
18:59пожаловаться#15

AA

A64m AL256m qn<co... in Haskell
да просто работает
источник
18:59пожаловаться#16

JS

Jerzy Syrowiecki in Haskell
больше информации для вывода?
источник
18:59пожаловаться#17

AA

A64m AL256m qn<co... in Haskell
ээээ, по идее наоборот меньше же
источник
19:00пожаловаться#18

a

adam in Haskell
Алексей Худяков
На практике вариант с ~ рабтает куда лучше. Пример сходу не придумаю
https://chrisdone.com/posts/haskell-constraint-trick/
источник
19:09пожаловаться#19

IR

IC Rainbow in Haskell
Алексей Худяков
Я просто руками делал, для произвольной формулы уже сложнее
сколько ульпов нормальная ошибка для "fused multiply-add" операции? ну или не фузед...
источник
19:12пожаловаться#20