a
val foo: Eq[(A, B)] = (x, y) => x._2 == y._2
нарушает законы Eq
Size: a a a
a
val foo: Eq[(A, B)] = (x, y) => x._2 == y._2
нарушает законы Eq
a
Order
обязан наследоваться от Eq
- хороший вопрос. не обязан конечноa
Eq
в хаскелле не имеет закона, требующего уничтожения всей информации, по которой нет сравненияa
Eq
(equality) и Equiv
(equivalences)DK
λ
λ
λ
NM
λ
λ
DK
λ
S
Oℕ
VH
Oℕ
DK
S
DK