«typeclass» 태그된 질문

함께 교차 할 수있는 기하학적 객체의 유형 클래스를 정의하고 싶습니다. class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies 아이디어는 다른 유형의 객체를 처리 할 수있는 범용 교차 함수를 갖는 것입니다. 예를 들어 instance Intersect Line …

11 haskell  type-systems  typeclass 

바운드 인스턴스는 Enum을 제대로 구현 한 것처럼 보입니다. 누군가가 병적 인 것이 아닌 것을 생각해 내면 왜 이것이 그렇지 않은지 이해할 것입니다. :i두 가지 유형 클래스 에서 수행 하면 현재 표준 라이브러리에있는 유일한 예외는 바운드이지만 Enums는 아닙니다. 그러나 모든 마지막 튜플은 단순히 마지막 요소를 증가시킨 다음 maxBound에 도달하면 감싸는 방식으로 …

9 haskell  typeclass