목록

Question

나는 다음과 같은 데이터 유형이 있습니다

{-# LANGUAGE ExistentialQuantification #-} 
{-# LANGUAGE ExtendedDefaultRules #-} 

class ToString a where 

data M = forall a. (ToString a) => B a 

가 GHCI에서 나는 문제없이 다음을 수행 할 수 있습니다

let bs = [B, B]

을하지만 수행하려고 할 경우 컴파일 된 파일에서 다음 오류가 발생합니다.

No instance for (ToString a0) arising from a use of ‘B’ 
The type variable ‘a0’ is ambiguous 
Relevant bindings include 
    bs :: [a0 -> M] (bound at src/My/Module:7:1) 

내가 누락 된 확장 프로그램은 그림과 같이 B의 목록을 만들 수 있습니까? 또는 GHCI가 무엇을 놓치고 있습니까?

Answer 1

이것은 GHCi가 단일 동체 제한을 켜지 않고 GHC (기본값)가 켜기 때문입니다.

이 bs의 추론 유형은 물론, 꽤 쓸모가

{-# LANGUAGE ExistentialQuantification #-} 
{-# LANGUAGE NoMonomorphismRestriction #-} 

class ToString a where 

data M = forall a. (ToString a) => B a 

bs = [B, B] 

: 다음 파일 typechecks, 증인

*Main> :t bs 
bs :: ToString a => [a -> M] 

당신은 단사 사상 제한을 해제하지 않으려면, 당신은 할 수 bs의 정의 타입 서명을 추가 : 내 문제를 해결

{-# LANGUAGE ExistentialQuantification #-} 

class ToString a where 

data M = forall a. (ToString a) => B a 

bs :: (ToString a) => [a -> M] 
bs = [B, B]