OCaml 컴파일러용 새로운 C++ 백엔드

1 week ago 2

C++ 백엔드 추가 제안

OCaml 컴파일러(ocamlc)에 C++ 백엔드를 추가하는 패치가 제안됨
- 기존 런타임과 FFI에서 사용 중인 비증분 C 백엔드를 개선한 형태
- ocamlc -incr-c primes.ml 명령으로 OCaml 코드를 C++로 변환 가능
변환된 C++ 코드는 순수 함수형 스타일로 작성되어 가변 상태를 지원하지 않음
- 이로 인해 표준 라이브러리 사용이 불가능하며, 예제에서는 List 모듈 일부를 순수 함수형으로 재구현
- 출력은 Cons<hd, tl> 형태의 중첩 구조로 표현되며, C++의 :: 연산자와 충돌을 피하기 위해 별도 구조 사용
실행에는 C++ 컴파일러(g++) 가 필요하며, -Dlimit=100 옵션으로 인자 전달 가능
- 실행 결과는 컴파일러 오류 메시지 형식으로 출력
- 대규모 계산 시 -ftemplate-depth=999999 옵션으로 템플릿 깊이 제한을 해제 가능
성능은 컴파일러에 따라 차이가 있음
- g++은 10000 이하 소수 계산에 약 30초, 11GiB 메모리 사용
- clang++은 1초 내 경고 후 세그멘테이션 오류 발생
- O’Neill의 우선순위 큐 기반 체 알고리듬 적용 시 8초, 3.1GiB로 개선
향후 확장 방향으로 Rust 지원이 언급됨
- Rust가 부분적 impl specialization을 완성하면 OCaml 프로그램 실행이 가능할 것으로 언급됨

기능 테스트 및 피드백
- redianthus는 비균일 재귀 데이터 타입 지원 여부를 질문
- stedolan은 %predint 미구현으로 인한 오류를 수정하고 해당 타입이 정상 동작함을 확인
유머와 반응
- avsm은 “C--이 필요했는데 C++이라니, C#으로 타협하자”는 농담을 남김
- stedolan은 “내년엔 복소수 ℂ를 시도하겠다”고 응답
- 😂, ❤️, 🚀 등의 이모지 반응이 다수 달리며 커뮤니티의 긍정적 반응이 확인됨
기술적 제안
- AdelKS는 템플릿 대신 constexpr 평가를 이용한 대안을 제시
  - 컴파일 시점에 소수를 계산해 바이너리에 직접 포함하는 예시 코드 공유
- LoganDark는 “그건 순수한 재미를 위한 것”이라며 템플릿 사용 이유를 유머러스하게 답변
추가 논의
- redianthus는 “이제 C++이 진정한 함수형 언어가 되었다”고 언급
  - OCaml의 순수 함수형 자료구조를 C++에서 구현 가능함을 강조
- dzmitry-lahoda는 Rust에서도 이미 OCaml 실행이 가능한 프로젝트(contextgeneric/cgp)를 언급

기본 예제: 소수 계산 프로그램
- ocamlc -incr-c primes.ml → primes.cpp 생성
- g++ -Dlimit=100 primes.cpp 실행 시 소수 목록 출력
고성능 설정
- g++ -ftemplate-depth=999999 -Dlimit=10000 primes.cpp
- 약 30초, 11GiB 메모리 사용
개선된 알고리듬 적용 시
- 8초, 3.1GiB로 성능 향상