[OCaml] 개괄

#OCaml

Ocaml은 Objective Caml의 준말로, Caml의 주요 구현체 중 하나다.
Lisp에 Common Lisp, Scheme, Clojure 등 여러가지 구현체가 있는 것처럼 Caml도 그렇다.

1996년에 나왔으며, 함수형에 객체지향을 살짝 얹은 구조를 가진다.
현재 주요 함수형 언어들의 뿌리가 된 언어다. 특히 F# 등이 Caml의 구조를 빼다박았고, Rust, Scala, Elm 등이 큰 영향을 받았다.

기본적으로 함수형 언어이되, 객체지향적 문법을 지원하며, 정적 타입시스템을 가진다.

나머지는 깔고 써보면서 느껴보자