OCaml을 사랑하는 이유 (2023)

• 함수형 프로그래밍과 정적 보장을 중시하는 개발자가 여러 언어를 경험한 끝에 OCaml의 균형 잡힌 설계를 높이 평가
• Haskell의 복잡한 타입 시스템과 느린 컴파일 속도에 비해, OCaml은 단순성과 실용성을 함께 제공
• Go의 빠른 컴파일과 간결한 런타임을 닮았지만, 함수형 언어의 패턴 매칭·합타입 같은 강점을 유지
• 빠른 빌드, 정적 바이너리, 풍부한 문서화 도구(odig, utop) 등으로 생산성과 접근성이 높음
• 단순성과 표현력의 균형, 그리고 세련된 언어 설계가 OCaml의 가장 큰 매력으로 제시됨

프로그래밍 언어 경험과 비교

• 다양한 언어로 아마추어 및 전문 소프트웨어를 개발한 경험을 통해 좋은 언어의 특징을 정리
  • 빠른 컴파일 속도, 단순한 런타임, 강한 정적 보장, 함수형 구성요소, 좋은 성능, 문서화 품질을 중요 요소로 제시
• Haskell은 함수형 프로그래밍의 사고방식을 익히게 했지만, 복잡한 문법과 느린 컴파일이 문제로 지적됨
  • 커뮤니티의 복잡성 추구 경향과 space leak 같은 런타임 문제로 인해 유지보수가 어려움
• Go는 단순성과 빠른 컴파일, 좋은 도구 체계, 간결한 코드 이해를 가능하게 함
  • 그러나 보수적인 설계, 장황한 오류 처리, 명시적 null 검사 부재로 인해 버그 발생 가능성이 높고 불편함
  • REPL 부재와 함수형 아이디어의 부정적 태도도 한계로 언급

OCaml의 주요 강점

• OCaml은 위의 기준을 대부분 충족하는 언어로 평가됨
  • 강한 정적 보장: 합타입, 다형 변이, 패턴 매칭 지원
  • 단순한 런타임: 가비지 컬렉션을 사용하면서도 시스템 수준 언어로 동작
  • 빠른 컴파일 속도: Dune 빌드 시스템을 통해 Haskell이나 Rust보다 빠름
  • 정적 링크된 단일 바이너리 생성으로 배포 용이
  • 우수한 문서화 도구: odig(오프라인 문서 탐색), utop(REPL), 인터페이스·구현 파일 분리 구조
• 자동 타입 추론 기능으로 코드 작성 효율 향상
  • 인터페이스 파일에 타입을 정의하는 구조가 명확한 코드 탐색에 도움

언어 설계와 인상

• OCaml은 오래된 언어이지만 세련된 설계 감각을 유지
  • 일부 객체지향 기능이나 복잡한 라이브러리는 불필요하다고 평가
• 전체적으로 단순성과 표현력의 균형, 좋은 문서화와 도구 생태계가 OCaml의 핵심 매력
• 작성자는 “단순하지만 표현력 있는 언어”로서 OCaml을 높이 평가하며, 다른 언어에서 찾기 어려운 만족감을 언급