[OCaml] 기본타입

#OCaml

OCaml의 기본 타입으로는 int, float, bool, char, string, unit이 있다.

아래는 공식 튜토리얼에서 긁어온 것이다.

대체로는 타 언어들과 거의 비슷하다고 생각할 수 있는데 int의 경우엔 범위가 조금 다르다.
보통 정수의 실제 범위는 32비트, 64비트로 2진수값을 따르기 때문이다.

Ocaml은 특이하게도 가비지컬렉션을 위해 1비트를 별도로 점유한다고 한다. 그래서 1비트만큼 범위가 더 작은 것이다.

정수

여튼, int는 기본적인 자연수를 다룰 때 사용되는 기본타입이다.
그냥 대충 숫자 때려넣으면 다 int값으로 처리된다. 그리고 기본적인 사칙연산(+, - .*, /) 등을 사용할 수 있다.

이게 또 유의할 점이 있는데, float는 int와 연산을 수행할 수 없다.
그리고 float는 오른쪽에 .가 붙은 전용 연산자들을 사용해야 한다!

문자를 다루는 타입은 char인데, 홑따옴표로 감싸인 텍스트로 표현된다.
8비트문자만을 표현할 수 있으며, 유니코드를 정식으로 지원하지 않는다!
큰 문제다.

그리고 쌍따옴표로 감싼게 문자열이 된다.
문자열은 그냥 문자의 배열이 아니라, 자신만의 고유한 타입을 갖고있는 친구라고 한다.
나중에 자세히 다뤄보겠다.

boolean은 true, false 값만을 가지는 논리타입이다.
논리연산자 &&, ||, not만을 지원한다.

init 타입은 단위값 ()만을 표현하는 타입이다.
말 그대로 없는 값을 표현한다! 다른 언어들과 비교하자면 void나 undefined 등과 대응될 것이다.
값을 따로 반환하지 않는 표현식이나 구문은 전부 이걸 반환한다고 보면 된다.

이 값은 표현을 위한 것이지 실제로 어떻게 사용할 수 있는 진짜 값은 아니다.