퀀트 금융 소프트웨어의 세계에는 오랜 이분법이 있다. 아이디어를 빠르게 검증하고 분석할 때는 파이썬을, 저지연 체결 엔진이나 대규모 가격 계산처럼 성능이 생명인 영역에서는 C++를 쓰는 식이다. 2026년 2월 공개된 온라인 서적 'Quantitative Finance with OCaml'(qcaml.com)은 이 익숙한 선택지 바깥을 가리킨다. 저자는 OCaml이 표현력과 실행 속도를 동시에 갖추면서도, 금융 프로그래밍에서 자주 터지는 오류의 상당 부분을 컴파일 시점에 아예 불가능하게 만들 수 있는 드문 언어라고 주장한다.
왜 하필 OCaml인가
책이 내세우는 핵심 논리는 '구성에 의한 정확성(correct by construction)'이다. OCaml은 ML 계열의 정적 타입 함수형 언어로, 강력한 타입 추론과 대수적 데이터 타입, 패턴 매칭을 제공한다. 저자의 표현을 빌리면 이 타입 시스템을 활용해 '여러 부류의 금융 프로그래밍 오류를 컴파일 시점에 불가능하게' 만들 수 있다. 실무 관점에서 이는 단순한 문법 취향 문제가 아니다. 통화 단위를 섞어 더하거나, 만기와 평가일을 혼동하거나, 처리되지 않은 경우의 수를 빠뜨리는 실수는 금전 손실로 직결되는데, 타입과 망라적 패턴 매칭은 이런 결함을 테스트가 아니라 빌드 단계에서 걸러낼 여지를 준다.
속도에 대한 주장도 눈여겨볼 만하다. 책은 OCaml을 '프로덕션 트레이딩 시스템에 쓸 만큼 충분히 빠른' 언어로 규정한다. 실제로 OCaml은 네이티브 코드로 컴파일되는 언어이며, 이 분야에서는 금융권의 OCaml 채택 사례가 종종 거론되어 왔다. 다만 이 서적 자체는 벤치마크 수치나 특정 기업·제품을 근거로 제시하지는 않으므로, '충분히 빠르다'는 명제는 독자가 자신의 지연 시간 요구 수준에 비추어 직접 검증해야 할 전제로 받아들이는 편이 안전하다.
무엇을 다루는가
내용 범위는 퀀트 금융의 주요 축을 두루 포괄한다. 파생상품 가격 결정, 리스크 관리, 신용 모델링, 트레이딩 알고리즘 구축, 그리고 이를 떠받치는 견고한 금융 인프라 설계까지가 사정권에 든다. 책은 전체를 일곱 개 부로 나누고, 순서대로 통독하거나 레퍼런스처럼 필요한 대목만 발췌해 읽을 수 있도록 구성했다고 밝힌다. 수학·통계·소프트웨어 공학이 교차하는 분야인 만큼, 가격 모형의 이론과 그것을 코드로 옮기는 구현을 한 흐름 안에서 다루려는 의도로 읽힌다.
친절한 점은 독자 배경에 따른 길잡이를 명시한다는 것이다. OCaml 경험이 있는 사람은 1~2장을 빠르게 넘겨도 되고, 금융 실무 경험이 있는 사람은 5장과 9장을 훑고 지나가도 된다고 안내한다. 언어와 도메인 중 한쪽에 이미 익숙한 독자가 적지 않다는 현실을 반영한 구성으로, 전공자와 개발자가 각자 다른 입구로 진입할 수 있게 한 셈이다.
한국 실무자에게 주는 의미와 한계
국내 퀀트·트레이딩 현장도 파이썬과 C++가 사실상 표준이고, 인력 시장과 라이브러리 생태계 역시 그쪽에 집중되어 있다. 그런 환경에서 OCaml 도입은 분명한 기회비용을 동반한다. 채용 가능한 엔지니어 풀이 얇고, 수치 계산·데이터 분석 라이브러리의 두께가 파이썬에 비할 바가 아니며, 기존 시스템과의 연동도 과제가 된다. 따라서 이 책의 가치는 '언어를 당장 갈아타라'는 권유보다, 타입으로 금융 로직의 불변식을 강제한다는 설계 사고를 흡수하는 데 있다고 보는 편이 현실적이다. 그 발상은 파이썬의 타입 힌트나 C++의 강한 타입 래퍼에도 옮겨 적용할 수 있다.
현재 버전은 1.0으로, 2026년 2월에 공개됐으며 오류 수정과 기여를 프로젝트 저장소를 통해 받는다. 아직 초기 단계의 공개 문서인 만큼 내용의 깊이와 완성도는 앞으로의 개정에 달려 있다. 새 언어의 전면 도입을 고민하는 조직이라면 성능과 생태계에 대한 주장을 자체 환경에서 먼저 검증하고, 개인 학습자라면 함수형 타입 시스템이 도메인 규칙을 어떻게 코드의 구조로 끌어올리는지를 배우는 교재로 접근하는 것이 이 책을 가장 효용 있게 쓰는 방법일 것이다.