타입과 newtype 간의 컴파일 시간과 실행 시간의 차이

Question

type 선언과 newtype 선언 사이의 읽기 - 컴파일 실행 파이프 라인의 다양한 단계에서 차이점은 무엇입니까?

내 가정은 그들이 동일한 시스템 설명서를 다운 컴파일이었다, 예를

type Name = String 
newtype Name_ = N String 

당신은 어디서든 String이 요구되는 Name을 사용할 수있는 유일한 차이점이 있다는 프로그램은, 타입 체크 할 때 그러나 동일한 정보를 인코딩하더라도 String이 예상되는 Name_을 사용하면 유형 검사기가 사용자에게 전화를 겁니다.

이 경우, 나는 다음과 같은 선언이 유효하지 말아야 어떤 이유 표시되지 않습니다, 때문에 나는이 질문을 부탁 해요 그러나

type List a = Either() (a, List a) 
newtype List_ a = L (Either() (a, List_ a)) 

는 유형 검사는 두 번째를 수용 하나는 거부하지만 첫 번째는 거부합니다. 왜 그런가요?

Answer 1

Luqui의 의견은 답변이어야합니다. 하스켈에서 타입 동의어는 매크로보다 첫 번째 근사값입니다. 즉, 유형 검사기를 통해 완전히 평가 된 유형으로 확장됩니다. 유형 검사기는 무한 유형을 처리 할 수 ​​없으므로 하스켈에는 동등 재귀 유형이 없습니다.

newtypes은 GHC에서 핵심 언어의 등가 순환 유형으로 컴파일되는 iso-recursive 유형을 제공합니다. 하스켈은 GHC 코어가 아니므로 그러한 유형에 액세스 할 수 없습니다. Equi-recursive 유형은 유형 체커와 사람 모두와 작업하기가 조금 더 어렵지만 iso-recursive 유형은 동등한 성능을 제공합니다.