하스켈 : 같은 쌍의 전문화

Question

--Say I have the following monad: 

{-# LANGUAGE GADTs, FlexibleInstances #-} 

data Instruction b where 
    Write :: a -> Instruction() 
    Write2 :: (a,a) -> Instruction() 
    Read :: Instruction a 
    Read2 :: Instruction (a,a) 
    Bind :: Instruction a -> (a -> Instruction b) -> Instruction b 
    Return :: a -> Instruction a 

instance Monad Instruction where 
    (>>=) = Bind 
    return = Return 

--And the following class: 

class Box a where 
    write :: a -> Instruction() 
    read :: Instruction a 

instance Box Int where 
    write = Write 
    read = Read 

instance Box Float where 
    write = Write 
    read = Read 

instance (Box a,Box b) => Box (a,b) where 
    write (a,b) = do 
    write a 
    write b 
    read = do 
    a <- Read 
    b <- Read 
    return (a,b) 

instance (Box a) => Box (a,a) where 
    write = Write2 
    read = Read2 

--Now, this works kind of fine, as long as I do not use the overlap: 

test = do 
    let i = 0 :: Int 
    let f = 0 :: Float 
    write (i,f) 
    --But i get an overlapping instance for the following (understandably): 
    write (i,i) 

는 "옳은 일"을 할 것입니다 클래스의이 종류를 작성 가능 (쉽게 복사 및 붙여 넣기에 대한 의견을 사용하여)와 한 쌍의 인스턴스 겹치는? 즉, 올바른 인스턴스가 선택되도록 프로그램을 어떻게 변경합니까?

저는 하나의 런타임 솔루션에 대해 알고 있다고 생각하지만, 그렇게 좋지는 않을 것입니다.

내가 다시 작성한 규칙을 보았습니다. 좋은 해결책입니까?

Answer 1

이 경우 OverlappingInstancespragma를 사용할 수 있습니다. Box (a,a)은 Box (a,b)보다 구체적이므로 컴파일러는 올바른 인스턴스를 선택합니다.

b에서 a까지 인스턴스화 할 수 있다면 비공식적으로 a이 b보다 구체적이라고 말하면됩니다. 다른 정의는 a과 b을 통합하면 a이됩니다. 예를 들어 (a,b)에 b = a을 입력 할 수 있으므로 (a,a)은 (a,b)보다 구체적입니다.

컴파일러가 가장 구체적인 인스턴스를 찾을 수 없으면 OverlappingInstances과 함께 오류가 발생합니다.