[Ocaml] Type 선언 / Type 이란?

---

---

Type 이란?

말 그대로 우리가 쓰는 int, float, string 같은 비슷한 맥락의 변수들의 카테고리 집합을 의미한다.

하지만 우리가 쓰는 이런 기존 타입들도 누군가의 설계에 의해 만들어진 것이다.

예를들면 '2 나 3 혹은 79 같은 소수점이 없는 정수들은 int 라는 type 으로 정의하자.' 라고 누가 이미 선언해놓은 것이다.

Ocaml은 개발자가 직접 Type 선언이 가능하다.

 

기본 제공 Type

Ocaml에서 기본으로 제공되는 타입들

 

---

사용 예시:

Organ type (커스텀)

결과값

organ 이라는 신체기관을 의미하는 타입을 만들었다. 

|  는 여러 타입들을 나열할 때 사용되고 

of 뒤에 나오는 것이 인자 라고 생각하면 된다. (인자 또한 타입을 가진다.)

예를들어 앞으로 Eye나 Mouth라는 것이 나오면 이제 Ocaml 에서는 organ type 으로 간주한다.

 

 

* 사진 출처 : https://ocaml.org/learn/tutorials/data_types_and_matching.html