VS
Eq в хаскелле не имеет закона, требующего уничтожения всей информации, по которой нет сравненияочень крутой фидбэк, спасибо
Size: a a a
2020 June 19
Oℕ
Eq в хаскелле не имеет закона, требующего уничтожения всей информации, по которой нет сравненияHowever, == is customarily expected to implement an equivalence relationship where two values comparing equal are indistinguishable by "public" functions,
a
However, == is customarily expected to implement an equivalence relationship where two values comparing equal are indistinguishable by "public" functions,
хмм
a
а откуда это?
a
а, недавно добавили
a
я сомневаюсь, что об этом знает большинство хаскель программистов
a
а если знают, понимают ли следствия из этих законов
a
могли бы потребовать
x == y = True iff for all "public" functions f whose return type is an instance of Eq, f x == f y = TrueOℕ
могли бы потребовать
x == y = True iff for all "public" functions f whose return type is an instance of Eq, f x == f y = TrueOℕ
а iff - это не оч хорошо
Oℕ
потому что тогда нужно добавлять какие-то специальные функции для различения
2020 June 20
P
новиночка
Oℕ
Эх ЗСкоупы
Oℕ
Однажды проснёмся а в зио раст/циклон придумали