Ну ты как-то скептически выражаешься ;) Способ ограничить параметрический полиморфизм, когда он избыточен. В моей презентации по free theorems как раз о Eq и теореме для nubBy, которая всё равно имеет контекст (x = y) = (f x = f y), так что переход к nub + ограниченный квантор не вносит никакой дополнительной сложности/сущности.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2008-01-16 09:24 pm (UTC)Ну ты как-то скептически выражаешься ;)
Способ ограничить параметрический полиморфизм, когда он избыточен. В моей презентации по free theorems как раз о Eq и теореме для nubBy, которая всё равно имеет контекст (x = y) = (f x = f y), так что переход к nub + ограниченный квантор не вносит никакой дополнительной сложности/сущности.