Запитання з тегом «typeclass»

Я хочу визначити клас типу для геометричних об'єктів, які можна перетинати між собою: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Ідея полягає у тому, щоб мати функції перетину загального призначення, які можуть обробляти об'єкти …

11 haskell  type-systems  typeclass 

Схоже, що будь-який обмежений екземпляр повинен мати розумну реалізацію Enum. Я особисто не можу придумати контрприклад, хоча якщо хтось придумає той, який не є патологічним, то я зрозумію, чому це не так. З того, що робити :iна двох класах типових класів, здається, єдиним винятком, який зараз є у стандартній бібліотеці, …

9 haskell  typeclass