2.8 모노모프(Monomorph)

모노모프는 유니피케이션(unification)을 통해 나중에 다른 타입으로 변형(morph)될 수 있는 타입이에요. 이 타입에 대한 자세한 내용은 타입 추론(type inference) 절에서 설명합니다.

출처: Monomorph

본문

모노모프는 아직 결정되지 않은 "미지의" 타입이에요. 유니피케이션이 진행되면서 다른 타입으로 변형될 수 있으며, 이것은 타입 추론의 핵심 개념입니다. 타입 추론 절에서 자세히 다루니 그쪽을 참고하세요.