GHCi에서 유형을 정의 할 수없는 이유는 무엇입니까?

Question

GHCi에서 유형을 정의 할 수없는 이유는 무엇입니까?

Prelude> data MyBool = T | F 

<interactive>:1:0: parse error on input `data' 

Answer 1

는 GHCi (보통) 식 및 인쇄 결과를 판독하는 매우 간단한 REPL이며, 인터랙티브 do 식으로 상상 될 수있다. 일반적인 하스켈 구문을 허용하는 문제는 (a) 이미로드 된 프로그램으로 병합하는 방법, (b) 다시로드 할 때 수행 할 작업 또는 REPL의 상태를 다시 설정하는 다른 작업입니다. 또한 정의가 이미 정의 된 것과 충돌 할 때 수행 할 작업에 대한 질문이 있습니다. 그리고 현재 구현은 단순히 표현식 평가자이며 새로운 코드를 컴파일하는 것은 다소 복잡하다는 단순한 사실이 있습니다.