Standard ML의 모듈 시스템과 OCaml 모듈 시스템의 차이점은 무엇입니까?

Question

표준 ML의 모듈 시스템과 OCaml 모듈 시스템간에 차이가 있다면 제 질문은 무엇입니까? OCaml은 펑터 (functor), 오름차순 (ascriptions) 등을 모두 지원합니까?

Answer 1

기능적으로나 의미 적으로는 몇 가지 차이점이 있습니다.

• 투명 서명 귀속
• 모듈 수준 let
• 대칭 공유 제약
• 구문 유형에 걸쳐 펑 설탕과 값

:

는 SML 지원하지만 OCaml의 특징 특징 OCaml 4는 SML이 아니지만 :

,

• 고차 펑
• 재귀 모듈
• 로컬 모듈
• 중첩 일류 같은
• 모듈 서명
• 일반 모듈 공유 (sig with module A = M)
• module type of

값

여러 가지 SML 구현은 이러한 기능 중 일부를 확장 기능으로 제공합니다. (SML/NJ, Alice ML), 모듈 공유 (SML/NJ, Alice ML), 중첩 서명 (Moscow ML, Alice ML)과 같은 상위 펑터 (SML/NJ, 모스크바 ML, 앨리스 ML) , 재귀 모듈 (Moscow ML) 등이있다. SML에서

• , 펑은 생식이다, 즉 두 번 동일한 펑인가 수단 :

  의미 와이즈, 가장 큰 차이는, 특히 펑에 대해 입력 등가의 치료에 같은 논증은 언제나 신선한 유형을 산출한다.

  편집 : OCaml 4는 선택적으로 펑터 생성 기능을 추가했습니다.

  를 OCaml에서

• , 펑 똑같은 인자 (및 추가 통사 제한)로 두 번 같은 펑을 적용하는 등가 유형의 재생 즉, 실용적이다. 이 의미론은보다 유연하지만 추상화를 깨뜨릴 수도 있습니다 (예 : this paper, 섹션 8에있는 예 참조).

• OCaml의 특정 유형 동등한 항목 유형 시스템에 의해 표현 될 수없고, 자동으로 삭제되거나 (예컨대 this bug 하나 놀라운 예 참조) 망가 것을 의미 서명 순수 통사 개념을 갖는다.

  편집 : OCaml 4.02는 참조 된 버그의 특정 예를 수정하는 "모듈 별칭"에 대한 특별한 의미를 추가했지만 구문 서명의 일반적인 제한은 지속됩니다.

또 다른 주목할만한 차이점은 OCaml로의 모듈 형 시스템으로 인해 SML 허용하지 않는 추상적 인 서명, 자사의 허락에, (즉, 타입 검사가 종료되지 않을 수 있습니다) 결정 불가능하다는 것이다.

Answer 2

의미에 관해서는 훨씬 더 정교한 대답이 위의 Andreas Rossberg에 의해 제공됩니다. 그러나 구문과 관련하여 this site이 당신이 찾고있는 것일 수 있습니다.