박정혁
가입: 2012년 12월 12일 올린 글: 14
|
올려짐: 2013년11월22일 14:56 주제: 7-1 질문입니다. |
|
|
교과서에 보면
Type τ → α
| ι | τ → τ
라고 되어있습니다. 이때 α는 TyVar 타입인데 m.ml의 정의에서 보면 이것이 포함되어 있지 않고 | ι | τ → τ만 포함되어 있습니다.
Type 타입에 α도 추가해서 구현해야 할 것 같은데 이러면 signature mismatch가 일어납니다. 어떻게 다른 것을 변화시키지 않고 α를 추가할 수 있나요? |
|