OCaml의 ocaml, let, (**), #quit

OCaml 실행기는 Read-Eval_Print-Loop 읽고 실행하고 결과 출력해주고의 반복이다.

ocaml

terminal에서 이 명령을 사용하면 ocaml 실행기를 실행해준다.

실행기에서 ocaml 코드를 작성할 때는 명령의 끝에 ;;를 붙여줘야 한다.

 

let

이름을 붙일 수 있다. 이때 이름은 소문로 시작해야 한다.

값을 정의할 때 사용한다.

a는 int형의 3 값을 갖는다.

b는 string형의 hello 값을 갖는다.

d는 bool형의 true 값을 갖는다.

함수를 정의할 때도 사용한다.

increment와 increment1은 인자로 a를 받아서 a+1을 반환한다.

 

값을 binding 해줄 때 in 이라는 것을 사용한다.

x를 그대로 가져다 사용

x+1을 가져다 사용

x를 가져와서 + 1을 해줌

3개 모두 이름이 없다.

위와 같은 식으로 let x = e1 in e2 사용 가능

1. e1을 계산해서 v1을 만든다.

-> let x =  in x * 3

2. e2의 x에 v1을 대입한다.

-> 5 * 3

3. e2를 계산해서 v2를 만든다.

-> 15

let y = 을 앞에 써주면 이름을 갖게 된다.

1. e1을 계산해서 v1을 만든다.

-> v1은 2

2. e2의 y에 v1을 대입한다.

-> f x = x + 2

3. e3에서 주어진 값을 x에 대입한다.

-> f 3 = 3 + 2

4. 답을 구한다.

-> 5

 

(**)

주석을 쓸 때 사용한다.

test : int 3 이 주석처리된 텍스트

#quit

이 명령을 사용하여 OCaml 실행기를 빠져나올 수 있다.

 

이 글은 제가 Ocaml을 공부하며 작성한 글로 정확하지 않은 부분이 있을 수 있습니다.