-
Notifications
You must be signed in to change notification settings - Fork 0
SML Standard ML 모듈 시스템
Yongku cho edited this page Dec 30, 2019
·
29 revisions
SML은 고급 모듈 시스템이 있어 프로그램을 계층적으로 조직된 구조로 분해할 수 있다. 논리적으로 관련된 유형 그리고 값 선언 요소들이 있다. SML 모듈은 네임스페이스 뿐 아니라 추상 자료형을 정의할 수 있는 추상화를 제공한다.
SML 모듈 시스템은 세 가지 주요 구문 구조로 이뤄진다.
structure
, signature
그리고 functor
이다.
structure
는 타입, 예외, 값, 서브 structure
로 구성된 모듈이다.
signature
는 structure
의 타입으로 생각되는 인터페이스이다. structure
에서 제공하는 기능을 모두 정의한다.
functor
는 structure
에서 structure
로의 함수입니다. 즉, functor
는 일반적으로 주어진 signature
의 structure
인 하나 이상의 인수를 받아들이고 그 결과로 structure
를 생성합니다. functor
는 일반적인 데이터 구조와 알고리즘을 구현하는데 사용된다.