OCaml 5.5.0, 모듈 의존 함수 등 혁신적인 기능으로 컴파일러 강화

OCaml 5.5.0의 핵심 변경 사항 중 하나는 모듈 의존 함수(Module-Dependent Functions) 도입입니다. 이는 경량 펑터(Lightweight Functor) 형태로 모듈을 함수 인자로 사용할 수 있게 합니다. 커뮤니티에서는 이 기능이 정적 모듈 인자(Statically Known Module Argument)에 의존성을 유지하면서도 타입 검사기의 복잡성을 줄여줄 것으로 기대하고 있습니다. 다만, 동적 모듈 인자에 대한 타입 검사기의 동작 방식 변화는 주의가 필요하다는 의견도 있습니다.

이번 릴리스는 이식 가능한 컴파일러(Relocatable Compiler)를 지원하여, 컴파일러 설치를 복사하거나 이동해도 오류 없이 작동합니다. 이는 로컬 opam 스위치 생성 시간을 크게 단축시킬 것으로 보입니다. 개발자들은 이를 통해 개발 환경 설정의 편의성 증대와 일관된 빌드 환경 유지에 대한 긍정적인 반응을 보이고 있습니다.

OCaml 5.5.0부터는 명시적 타입 어노테이션을 통해 함수 인자로 고차 다형 함수(Higher-Rank Polymorphic Functions)를 직접 정의할 수 있게 되었습니다. 이전에는 레코드(Record)나 객체(Object)를 통해야만 가능했던 방식이 간소화된 것입니다. 이는 코드의 간결성 증대와 타입 시스템의 유연성 확장 측면에서 주목받고 있습니다.

약 60개의 새로운 표준 라이브러리 함수가 추가되었으며, 특히 `String` 모듈에 다양한 검색 및 치환 기능이 강화되었습니다. 또한, GC(Garbage Collector)의 스윕-온리(Sweep-only) 단계 추가 및 아이들(Idle) 단계 도입을 통해 메모리 관리 성능이 개선되었습니다. 이는 전반적인 애플리케이션 성능 향상에 기여할 것으로 기대됩니다.

이번 릴리스는 타입 시스템의 견고성을 높이는 여러 변경 사항을 포함합니다. 특히, 모듈 의존 함수와 관련된 타입 검사 규칙 변경, 외부 타입(External Types) 정의 방식 개선, 그리고 추상 타입(Abstract Types)의 타입 검사 동작 방식 수정 등이 있습니다. 이러한 변경은 타입 안전성(Type Safety)을 강화하고, 복잡한 타입 시스템에서의 예측 가능성을 높이는 데 중점을 두고 있습니다.