TL;DR

  • OCaml을 활용한 정량 금융 안내서로, 파생상품 가격 결정부터 위험 관리·신용 모델링·알고리즘 트레이딩·금융 인프라 설계까지 다루며 타입 시스템으로 금융 프로그래밍 오류를 컴파일 시점에 방지하는 접근임.
  • 모든 개념에 프로덕션 수준 OCaml 코드를 곁들이고, 수학적 유도 과정과 재사용 가능한 타입 안전 라이브러리를 함께 제시함.
  • 성능과 정확성을 동등하게 다루며 OCaml 5의 도메인·이펙트와 OxCaml 확장까지 범위에 포함함.
  • 책은 기초부터 고급 주제까지 7개 파트로 구성되며, 고정 수익·주식 및 파생상품·신용·위험 관리·알고리즘 트레이딩을 포괄함.
  • 장별 동반 코드에는 라이브러리·예제·연습문제·성능 실험이 포함되며, opam과 dune을 사용해 예제를 빌드하고 테스트함.

이 책 소개

  • 정량 금융은 수학·통계학·소프트웨어 공학이 만나는 분야임.
  • 많은 실무자가 빠른 프로토타이핑을 위해 Python을, 원시 실행 속도를 위해 C++를 선택하는 가운데, OCaml은 표현력과 구조적으로 확보되는 정확성, 프로덕션 트레이딩 시스템에 충분한 속도를 함께 제공하는 언어로 제시됨.
  • 이 책은 OCaml의 관점에서 정량 금융을 다루며, 파생상품 가격 결정·위험 관리·신용 모델링·트레이딩 알고리즘·견고한 금융 인프라 설계를 설명함.
  • OCaml의 타입 시스템을 활용해 여러 종류의 금융 프로그래밍 오류를 컴파일 시점에 불가능하게 만드는 접근임.
  • 이 책의 특징은 다음과 같음.
  • 모든 개념에 프로덕션 품질의 OCaml 코드를 수록함.
  • 수학적 유도를 부록에 감추지 않고 명시적으로 제시함.
  • 각 장에 걸쳐 축적되는 재사용 가능하고 타입이 잘 정의된 라이브러리를 구축함.
  • 성능과 정확성을 동등한 고려 사항으로 다룸.
  • 도메인·이펙트 등 최신 OCaml 5 기능과 OxCaml 확장까지 다룸.

이 책 읽는 법

  • 책은 순차적으로 읽거나 참고 자료로 활용할 수 있는 7개 파트로 구성됨.
  • 파트 I, 1~4장: OCaml 기초, 수학, 확률.
  • 파트 II, 5~8장: 고정 수익, 채권, 수익률 곡선, 금리 파생상품.
  • 파트 III, 9~14장: 주식 시장, Black-Scholes, 몬테카를로, 변동성.
  • 파트 IV, 15~17장: 신용 위험, CDO, 다중 자산 모델.
  • 파트 V, 18~21장: 시장 위험, 그릭스, XVA, 포트폴리오 최적화.
  • 파트 VI, 22~25장: 알고리즘 트레이딩, 체결, 고빈도 거래 인프라.
  • 파트 VII, 26~31장: 고급 확률 미적분, 머신러닝, 규제, OxCaml.
  • OCaml 경험이 있는 독자는 1~2장을 건너뛰어 읽을 수 있으며, 금융 경험이 있는 독자는 5장과 9장을 건너뛰어 읽을 수 있음.

목차

  • 파트 I: 기초
  • 1장 — 정량 금융에 OCaml을 사용하는 이유?
  • 2장 — 금융을 위한 OCaml 기초
  • 3장 — 수학적 기초
  • 4장 — 확률과 통계
  • 파트 II: 고정 수익과 금리
  • 5장 — 화폐의 시간 가치
  • 6장 — 채권과 고정 수익 상품
  • 7장 — 수익률 곡선
  • 8장 — 금리 파생상품
  • 파트 III: 주식과 파생상품
  • 9장 — 주식 시장과 상품
  • 10장 — Black-Scholes 프레임워크
  • 11장 — 옵션 가격 결정을 위한 수치 기법
  • 12장 — 몬테카를로 방법
  • 13장 — 변동성
  • 14장 — 이색 옵션
  • 파트 IV: 신용과 다중 자산
  • 15장 — 신용 위험과 신용 파생상품
  • 16장 — 포트폴리오 신용 파생상품
  • 17장 — 다중 자산 모델과 상관관계
  • 파트 V: 위험 관리
  • 18장 — 시장 위험
  • 19장 — 그릭스와 헤징
  • 20장 — 거래상대방 신용 위험
  • 21장 — 포트폴리오 위험과 최적화
  • 파트 VI: 알고리즘 트레이딩과 시장 미시구조
  • 22장 — 시장 미시구조
  • 23장 — 체결 알고리즘
  • 24장 — 정량 트레이딩 전략
  • 25장 — 고성능 트레이딩 인프라
  • 파트 VII: 고급 주제
  • 26장 — 확률 미적분과 고급 가격 결정
  • 27장 — 정량 금융의 머신러닝
  • 28장 — 규제 및 회계 프레임워크
  • 29장 — 정량 금융 시스템 설계
  • 30장 — 종합 프로젝트: 완전한 트레이딩 시스템
  • 부록
  • 부록 A — 금융을 위한 OCaml 빠른 참조
  • 부록 B — 수학 참고 자료
  • 부록 C — 금융 용어집
  • 부록 D — 추가 읽을거리와 자료
  • 부록 E — 개발 환경 설정
  • 부록 F — 구조적으로 확보되는 정확성

동반 코드

  • 각 장 디렉터리는 장 본문인 README.md, 재사용 가능한 라이브러리 모듈을 담은 lib/, 풀이 예제를 담은 examples/, 연습 문제를 담은 exercises/, 성능 실험을 담은 benchmarks/로 구성됨.

예제 빌드

  • opam으로 core, owl, zarith, menhir, ppx_deriving 의존성을 설치하고, quantitative-finance-with-ocaml 디렉터리에서 dune build를 실행해 전체 예제를 빌드하며 dune test로 테스트를 실행함.

표기법 안내

  • OCaml 코드는 구문 강조 블록으로 제시됨.
  • 수학 공식은 자산 가격의 시점 t 값인 $S_t$, 변동성인 $\sigma$, 무위험 금리인 $r$ 등 표준 표기법을 사용함.
  • 타입은 float -> float -> float처럼 OCaml 표기법으로 제시됨.
  • 모듈 경로는 Black_scholes.price처럼 Module.function 형식으로 작성됨.

버전 및 기여

  • 버전은 1.0, 날짜는 2026년 2월임.
  • 수정 사항과 기여는 프로젝트 저장소를 통해 환영함.