이 데이터 형식의 Functor 인스턴스를 만들 수 있습니까?

Question

나는이 데이터 Functor의 인스턴스 입력 만들려고 노력 해요 :

data Fraction = Frac Integer Integer deriving Show 

을하지만, 이런 식으로 정의가 작동하지 않습니다

이

instance Functor Fraction where 
    pure = Frac 1 1 
    fmap f (Frac a b) = Frac (f a) (f b) 

나는이 기능을 원하는 , 나는 것 Functor의 인스턴스가되도록 데이터를 선호하십시오. 하지만 Fraction의 매개 변수는 항상 두 개의 Integers이므로 일부 법률을 위반합니까?

나는 항상 을 작성하고 Functor 선언을 피할 수 있지만 언어에 익숙해 지려고 노력하고 있습니다. 도움을 주시면 감사하겠습니다!

Answer 1

예, 선언을 위해 "제외"할 유형 변수가 없으면 펑터를 정의 할 수 없습니다 (정식 적으로 : 펑터 인스턴스는 종류가 * -> *이어야 함). fmap의 서명은 fmap :: (a -> b) -> f a -> f b이므로 해당 계약을 충족하려면 함수에 대해 a 및 b 유형을 선택해야합니다.

당신은 물론 단지이 될 Fraction을 다시 정의 할 수 있습니다 :

data Fraction a = Frac a a deriving Show 

... 또는 당신은 아무도 때문에 펑을 형성하지 않는, Data.Ratio에 분수/유리수에 대한 기존의 데이터 유형을 사용할 수 있습니다 그러한 인스턴스를 갖는 것이 유용하다고 여겼지 만 (어쨌든 그것을 위해 무엇을 사용하겠습니까?), 적어도 당신은 잘 정립 된 기존의 데이터 구조를 사용하게 될 것입니다.