OCaml에서의 unit과 _

OCaml의 function Language로 Expression만 존재한다.

 

* Expression과 Statement의 차이

Expression : 어떤 값을 반환하는 것.

Statement : 값을 반환하지 않고 상태 전이(메모리 상태 변경) 을 하는 것.

사실 애도 상태 전이와 같지만 OCaml에서는 declaration이라고 따로 부름

그러면 반환할 게 없을 땐 어떻게 해야할까???

그때 사용하는 타입이 unit이다.

 

unit

보통 타입은 set of values인데 unit은 () 하나이다.

반환할 게 없을 때 unit을 반환한다.

 

예를 들어보면

단순히 출력하는 것은 반환할 것이 없다. 그래서 unit을 반환한다.

또한 assignment도 반환할 것이 없기 때문에 unit을 반환한다.

 

_ wildcard

anything 어떤 값이든 가능하다.

그래서 memory에 넣을 필요가 없는 것을 가리킬 때 사용한다. 즉, 다시 사용하지 않을 것을 가리킨다.