3.5.3 모노모프(Monomorphs)

모노모프를 갖거나 그 자체인 타입의 유니피케이션은 타입 추론(Type Inference)에서 자세히 설명합니다.

출처: Monomorphs

본문

모노모프와 관련된 유니피케이션의 상세 규칙은 타입 추론 절에서 다룹니다. 모노모프는 아직 결정되지 않은 타입으로, 유니피케이션을 통해 확정된다는 점을 기억하세요.