X 디자인 노트: OCaml 모듈 통합

저자는 PolySubML의 형식 추론 및 구조적 하위 형식화와 OCaml의 대부분 기능을 결합하는 것을 목표로 하는 새로운 프로그래밍 언어 X를 설계하고 있습니다. 특히 OCaml의 모듈 시스템과 일반적인 값 사이의 구문적 및 개념적 차이점을 해결하는 데 중점을 두고 있습니다. 이 게시물에서는 레코드의 별칭 멤버, struct 및 sig 구문, 모듈 열기 및 포함, 모듈 확장 및 존재적 형식을 사용한 추상화 등 X에서 OCaml 모듈을 통합하는 방법을 자세히 설명합니다. 와일드카드 가져오기 방지 등 OCaml 모듈 시스템의 개선 사항도 제안합니다. 최종 목표는 더 간단하고 이해하기 쉽고 강력한 프로그래밍 언어를 만드는 것입니다.