2
하스켈, Integer 포함 Integral typeclass을 갖는다 Int, Int32, Int64, Natural 등Purescript typeclass 일반화 정수가 있습니까?
Purescript 비슷한 typeclass 있는가?
A
답변
5
우리는 PureScript의 정수 고유의 클래스를 가지고 있지 않지만, 숫자 클래스의 계층 구조가있다 :
각 클래스는 법을 추가는 CommutativeRing 및 Field 클래스가 어떤 작업이 없음에도 불구하고 그렇게 그들은 중복되지 않습니다.
EuclideanRing 인 모든 유형은 정수를 일반화하는 정수 도메인 용 법칙도 충족하므로 사용자 요구에 맞아야한다고 생각합니다.
Fields 비 제로 곱셈 역원이 있습니다 mod a b = 0 모든 a 및 b을 위해, 그래서 당신이 찾고있는 거라면 당신은 확실히하지 않도록 등 정수 나누기의 가능성을 배제 것이라고 제약 조건을 사용하여 계층까지 내려 갔다.