전반적인 타입 관련해서 질문드립니다

홍선기 · 가입: 2014년 9월 29일 올린 글: 11

숙제 2-5와 숙제 2-6을 푸는 도중 계속해서 같은 문제가 발생하여 질문드립니다.

만약 어떤 모듈에서

type element = int list라 정의했을때

어떤 함수 Fun이 int list -> int list로 정의되었을떄

element -> element 로 뜨게 하는 방법이 있을까요?

강동옥 · 가입: 2009년 9월 18일 올린 글: 602

역시 이 질문도 구체적인 코드를 보지 않고서는 어떤 문제가 발생하였는지 알기 어렵네요. type element = int list로, 함수 f가 int list -> int list 타입으로 정의되어 있다면, 제가 아는 한 ocaml은 일반적으로 함수 f를 element -> element 로 올바르게 인식해 낼 수 있습니다.

명시적으로는,