하스켈의 범위 변수가 패턴 바인딩에서 변수의 바인딩을 허용하지 않는 이유는 무엇입니까?

Question

GHC의 ScopedTypeVariables은 기능 패턴에서 유형 변수를 바인딩 할 수 있지만 패턴은 사용할 수 없음을 알아 챘습니다.

fooType :: Foo -> TypeRep 
fooType (Foo x) = 
    let (_ :: a) = x 
    in typeRep (Proxy::Proxy a) 

을하지만,이 트릭을 사용 : 나는 푸 내부 유형에 액세스하려면 최소한의 예를 들어

이 유형

data Foo where Foo :: Typeable a => a -> Foo 

을 고려, 다음 함수는 컴파일되지 않습니다 형식 변수 바인딩을 함수 호출로 이동하려면 문제없이 작동합니다.

let 바인딩은 실제로 위장의 함수 바인딩이기 때문에 위의 두 코드 스 니펫은 왜 동일하지 않습니까?

(이 예에서, 다른 솔루션은 최상위 함수에서 x :: a으로 직접 변수를 typeOf x로 TypeRep을 만들거나 결합하는 것입니다. 이러한 옵션 중 어느 것도 내 진짜 코드에서 사용할 수 있으며, 그들을 '아무튼 사용 질문에 대답 해주세요.)

Answer 1

큰 점은, 기능이 case 위장한 표현이 아니고 let 표현입니다. case 일치 및 let 일치가 다른 의미를가집니다. 또한 let 표현식에서 유형을 구체화하는 GADT 생성자와 일치시킬 수없는 이유이기도합니다.

차이점은 case이 일치하기 전에 계속 진행하기 전에 조사를 평가하는 반면 let은 "결과가 요구 될 때 평가 수행"이라는 힙에 썽크를 던집니다. GHC는 게으름이 그들과 상호 작용할 수있는 모든 잠재적 인 방법에 걸쳐 지역 범위 유형 (예 : a)을 유지하는 방법을 알지 못하므로 시도하지 않습니다. 지역 범위 유형이 관련된 경우 게으름이 문제가 될 수 없도록 case 표현식을 사용하십시오. 당신은 명시 적으로 전혀 타입의 변수를 도입 할 필요가 없습니다

{-# Language ScopedTypeVariables, GADTs #-} 

import Data.Typeable 
import Data.Proxy 

data Foo where 
    Foo :: Typeable a => a -> Foo 

fooType :: Foo -> TypeRep 
fooType (Foo (x :: a)) = typeRep (Proxy :: Proxy a)