Вопросы с тегом «typeclass»

1
Использование классов типов Haskell для обеспечения коммутативности
Я хочу определить класс типов для геометрических объектов, которые могут пересекаться вместе: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Идея состоит в том, чтобы иметь функции пересечения общего назначения, которые могут обрабатывать объекты разных …

2
Почему не ограничен подклассом Enum в Haskell
Кажется, что у любого ограниченного экземпляра должна быть нормальная реализация Enum. Лично я не могу придумать контрпример, хотя, если кто-то придумает такой, который не является патологическим, я пойму, почему это не так. Из :iэтих двух классов типов кажется, что единственное исключение в стандартной библиотеке в настоящее время относится к кортежам, …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.