2
제약 조건 추적 기법
시나리오는 다음과 같습니다. 유형 서명으로 일부 코드를 작성했으며 GHC는 일부 x및에 대해 x ~ y를 추론 할 수 없다고 불평 y합니다. 일반적으로 GHC에 뼈를 던지고 단순히 함수 제약 조건에 동형을 추가 할 수는 있지만 몇 가지 이유로 나쁜 생각입니다. 코드 이해를 강조하지 않습니다. 하나가 충분할 경우 5 개의 제약 조건으로 …
322
haskell
constraints
ghc