OCaml

[[프로그래밍 언어\|'''프로그래밍 언어 {{{#!wiki style="font-family: Times New Roman, serif; display: inline;"]]
{{{#!wiki style="min-height: calc(1.5em + 5px); margin: 0 -10px -5px" {{{#!wiki style="display: inline-table; min-width: 40%; min-height: calc(1.5em + 5px)" {{{#!folding [ 목록 ] {{{#!wiki style="margin: -5px -1px"	<colbgcolor=royalblue><colcolor=#fff> ※ 나무위키에 등재된 프로그래밍 언어 목록

A	ActionScript · Ada^T · Agda^TP · ALGOL^T · Apex^T · APL · awk · Assembly^T
B	BASIC
C	C^T · 파일:C C#^T · C++^T · Carbon^T · Clojure^S · COBOL^T · CoffeeScript · Common Lisp^S · Crystal^T
D	D^T · Dart^T
E	Elixir · elm^T · Erlang
F	F#^T · Factor · Fennel^S · Forth · Fortran^T
G	GNU Octave · Go^T · Groovy
H	Haskell^T · HolyC^T · Haxe
I
J	Java^T · JavaScript · Julia
K	Kotlin^T
L	Lean^TP · LISP^S · Lua
M	MATLAB · Max^V · Mojo^T · Moonlight
N	Nim^T · Nix
O	Oberon^T · Objective-C^T · OCaml^T
P	Pascal^T · Perl · PHP · Processing · Prolog · Python
Q	Q#^T · QML
R	R · Racket^S · Raku · ReasonML^T · Rocq^TP · Ruby · Rust^T
S	SAS · Scala^T · Scheme^S · Scratch^V · sed · Shell Script · Smalltalk · SQL · Swift^T
T	TypeScript^T
U	Udon
V	Visual Basic · Visual Basic .NET · Visual Basic for Applications · vvvv^V
W	Wave
X	XSharp
Y
Z	ZenScript · Zig^T
한글	누리 · 숨^V · 씨앗 · 약속 · 엔트리^V · 창조
^T: 정적 타입 프로그래밍 언어 · ^P: 증명 보조 언어 · ^S: LISP 방언 및 S-표현식 기반 언어 · ^V: 시각적 프로그래밍 언어		}}}}}}}}}{{{#!wiki style="display: inline-table; min-width: 40%; min-height: calc(1.5em + 5px)" {{{#!folding [ 순위 ] {{{#!wiki style="margin: -5px -1px -10px"	{{{#!wiki style="min-height: calc(1.5em + 5px); margin: 0 -10px -5px" {{{#!wiki style="display: inline-table; min-width: 25%; min-height: calc(1.5em + 5px)" {{{#!folding [ IEEE Spectrum 2025 ] {{{#!wiki style="margin: -5px -1px"	<tablewidth=100%><tablebgcolor=transparent><colbgcolor=#11a500><colcolor=#fff> 스펙트럼 부문 상위 10개 프로그래밍 언어		<colbgcolor=#ff1100><colcolor=#fff> 직업 부문 상위 10개 프로그래밍 언어
1	Python	1	Python
2	Java	2	SQL
3	C++	3	Java
4	SQL	4	JavaScript
5	C#	5	TypeScript
6	JavaScript	6	C#
7	TypeScript	7	C++
8	C	8	HTML
9	Shell	9	Go
10	Go	10	Shell	}}}}}}}}}{{{#!wiki style="display: inline-table; min-width: 25%; min-height: calc(1.5em + 5px)" {{{#!folding [ Stack Overflow 2025 ] {{{#!wiki style="margin: -5px -1px"	<colbgcolor=#ffa500><colcolor=#fff> 2025년 Stackoverflow 설문조사 상위 25개 프로그래밍 언어
1	JavaScript	<colbgcolor=#ffa500><colcolor=#fff> 14	Rust
2	HTML & CSS	15	Kotlin
3	SQL	16	Lua
4	Python	17	어셈블리어
5	Bash/Shell	18	Ruby
6	TypeScript	19	Dart
7	Java	20	Swift
8	C#	21	R
9	C++	22	Groovy
10	PowerShell	23	Visual Basic
11	C	24	VBA
12	PHP	25	MATLAB
13	Go	}}}}}}}}}{{{#!wiki style="display: inline-table; min-width: 25%; min-height: calc(1.5em + 5px)" {{{#!folding [ TIOBE 2025 ] {{{#!wiki style="margin: -5px -1px"	<colbgcolor=#2777c2><colcolor=#fff> 2025년 10월 TIOBE 검색어 점유율 상위 20개 프로그래밍 언어
1	Python	<colbgcolor=#2777c2><colcolor=#fff> 11	Fortran
2	C	12	Perl
3	C++	13	R
4	Java	14	PHP
5	C#	15	Assembly language
6	JavaScript	16	Rust
7	Visual Basic	17	MATLAB
8	Go	18	Scratch
9	Delphi / Object Pascal	19	Ada
10	SQL	20	Kotlin	}}}}}}}}}{{{#!wiki style="display: inline-table; min-width: 25%; min-height: calc(1.5em + 5px)" {{{#!folding [ PYPL 2025 ] {{{#!wiki style="margin: -5px -1px -10px"	<colbgcolor=green><colcolor=#fff> 2025년 11월 PYPL 검색어 점유율 상위 20개 프로그래밍 언어
1	Python	<colbgcolor=green><colcolor=#fff> 11	Ada
2	Java	12	TypeScript
3	C++	13	MATLAB
4	Objective-C	14	Kotlin
5	R	15	PowerShell
6	JavaScript	16	Go
7	C#	17	Dart
8	Swift	18	Ruby
9	PHP	19	Lua
10	Rust	20	VBA	}}}}}}}}}}}}	}}}}}}}}}}}}
실행 방식 · 분류 · 언어 목록(분류:프로그래밍 언어 문법) · 언어별 예제 · 틀:프로그래밍 언어 문법 · 틀:난해한 프로그래밍 언어

OCaml

1. 개요2. 특징

2.1. 정적 타입 시스템2.2. 함수형 언어2.3. 가비지 컬렉션2.4. OPAM

3. 점유율4. 학문적 위상5. 대학교에서6. 예제7. 외부 링크

print_endline "Hello, World"

1. 개요

OCaml은 프랑스의 Inria에서 ML 계열 언어인 Caml에 객체지향, 모듈 시스템 등을 추가하여 만든 함수형 프로그래밍 언어이다. 부분적으로는 명령형 기능도 지원한다.

2. 특징

2.1. 정적 타입 시스템

OCaml은 LISP나 Scheme, Racket, Clojure와는 다르게, 정적 타입 시스템을 장착한 함수형 프로그래밍 언어이다. 강력한 타입 추론 알고리즘을 통해 모든 타입 에러를 미연에 방지할 수 있으며, 타입을 적지 않아도 자동으로 타입을 추론해준다.

2.2. 함수형 언어

OCaml은 함수형 프로그래밍 언어이다. 함수형이 무엇인가에 대해서는 여러 가지 정의가 있지만, 기본적으로 아래와 같은 것을 말한다.

함수를 데이터처럼 다룰 수 있다.
기본적인 변수(variable)가 불변인 것을 뜻한다.(물론 부분적으로는 명령형 프로그래밍도 지원하므로 모든 변수가 불변인 것은 아니다.)

2.3. 가비지 컬렉션

메모리 관리를 자동으로 해주는 가비지 컬렉션 기능을 제공한다. 바이트코드로 컴파일하면 OCaml 가상 머신에서 실행할 수 있다. 그 외에도 네이티브 코드 컴파일러를 지원해서 9 종류의 아키텍처에 맞는 네이티브 실행 파일을 생성할 수 있다.

2.4. OPAM

자체적인 패키지 매니저로 OPAM이라는 시스템을 제공한다. 특이하게도 Java나 여타 언어와는 다르게 언어 버전 간의 호환성은 버리고, 언어 버전 간의 컴파일러 환경을 자유롭게 바꿀 수 있는 switch 기능을 제공한다.

3. 점유율

점유율은 처참하다. 깃허브 프로그래밍 언어 점유율을 보면 38위로 비슷한 계열의 언어인 스칼라나 하스켈보다도 낮은 점유율을 보여준다.(하지만 OCaml을 본떠 만든 MicroSoft의 F#은 이겼다.)

OCaml을 프로젝트의 주요 언어로 사용하는 가장 유명한 기업은 미국의 양적 거래(quantitative trading) 회사인 제인 스트리트이다.

최근에는 페이스북에서 OCaml을 가져다가 ReasonML이라는 언어를 만들기도 했으며, OCaml과 Reason을 이용하여 정적 코드 분석기인 Infer를 만들기도 했다. 페이스북과 같은 거대 IT 기업에서 OCaml에 관심을 갖고 주요 프로젝트의 언어로 채택했다는 점에서 많은(?) OCaml 사용자들이 점점 널리 쓰일 거라는 기대를 품지만 현실은...

Rust는 개발 초기에 OCaml로 컴파일러가 제작되었다. 이후 언어가 발전함에 따라 컴파일러는 Rust 자체로 재작성되었다.

4. 학문적 위상

Haskell 등과 함께 힌들리-밀너 타입 시스템(Hindley-Milner Type System)을 사용하는 몇 없는 순수 함수형 언어이므로 프로그래밍 언어론을 공부하다 보면 꽤 자주 언급되는 것을 볼 수 있을 만큼 현업에서의 점유율과는 별개로 학술적 분야에서의 위상을 가진다. 자동정리증명 언어 중 하나인 Coq도 OCaml을 기반으로 한다.

5. 대학교에서

한국과학기술원에서는 2000년대 초반부터 모든 학부생이 듣는 학부 전산과 2학년 필수과목인 프로그래밍 언어 과목에서 OCaml의 한국판 변형인 nML이 ROPAS(Research On Program Analysis System) 연구실의 이광근 교수님의 지도로 사용되었다. 후에 서울대 컴퓨터 공학과로 이직하셔서 강의와 연구를 계속 하셨다.
포항공과대학교에서는 한때(08~10년도) 이걸 모든 학부생이 들어야 하는 학부 1학년용 프로그래밍 과목에서 가르친 전적이 있다(...) 함수형 언어이고 난이도도 어렵지는 않아 한 학기만에 4대 정렬에 이진 트리까지 진도를 뺄 수 있었다. 하지만 컴공과 외에는 학년이 올라가서 이걸 쓸 이유가 없으므로(...) 타과 교수들의 지적으로 다시 C로 회귀했다고. 17학번까지는 전공필수 과목이었으며, 이제는 하술할 강원대학교와 비슷하게 3학년 전공선택 과목인 프로그래밍언어 수업에서 사용되고 있다.
강원대학교에서는 3학년 전공필수 과목인 '프로그래밍 언어론' 과목 내에서 현재까지(~ 19. 10. 2) Ocaml 언어를 기반으로 수업이 진행되고 있다.
고려대학교에서는 2학년 전공선택 과목인 "프로그래밍언어" 과목 중 일부 분반에서 OCaml 언어를 기반으로 수업이 진행되고 있다.
서울대학교에서는 3학년 전공선택 과목인 "프로그래밍언어" 과목에서 OCaml 언어를 기반으로 수업이 진행되고 있다.
충남대학교에서는 3학년 전공선택 과목인 "프로그래밍언어개론" 과목에서 2021 1학기부터 OCaml 언어를 기반으로 수업이 진행되고 있다.
서강대학교에서는 3학년 전공선택 과목인 "기초컴파일러구성" 과목에서 2023년 2학기부터 OCaml 언어를 사용하여 컴파일러 제작 프로젝트를 진행하고 있다.
한양대학교 프로그래밍언어론 과목의 2022년 1학기 과목을 kocw에서 공개 수강할 수 있다.

6. 예제

아래 함수 square는 인자 x를 받아서 결과값으로 x * x를 반환하는 함수를 정의한 것이다.

let square x = x * x

7. 외부 링크

OCaml 공식 홈페이지