[프로그래밍언어개론] Ocaml tutorial

서론

본 포스트는 Ocaml 공식 문서의 A tour of ocaml 을 기반으로 만들어졌습니다.

Ocaml은 대화형 인터프리터인 UTop을 제공하는데, UTop을 이용해서 Ocaml에 입문해보자!

기능

주석

주석은 오직 (* 와 *)만 지원한다. 따라서 이런 괴상한 코드도 작성 가능하다.

# 50 + (* A comment in between parts of an expression *) 50;;
- : int = 100

UTop

여기서, 결과값뿐만 아니라, 결과값의 타입까지 함께 알려준다.

대화형 프린터를 할 때 ;; 하라는 것은 계산 이후에 결과를 출력하라는 의미입니다.

type inference

ocaml은 타입 추론을 제공합니다.

# 6.28;;
- : float = 6.28

# "This is really disco!";;
- : string = "This is really disco!"

# 'a';;
- : char = 'a'

# true;;
- : bool = true

… 작성중 !!!!!!!

let rec gcd a b =
    let r = a mod b in
    if r = 0 then b
    else gcd b r