OCaml 자료형 (1)

프로그래밍언어론이라는 수업에서 다루는 OCaml을 정리해두고자 합니다.
개인적인 공부글이므로 틀린 부분이 있을 수 있습니다.
지적해주시면 감사...
질문해주시면 아는만큼 대답해드립니다...
Windows / WSL / utop 환경에서 OCaml을 쓰고 있습니다

OCaml Program의 기본 구조

: OCaml program은 일련의 정의로 이루어져있다.

let x1 = e1
let x2 = e2
...
let xn = en

'e1, e2, ... en'은 순서대로 계산되며, 변수 'xi'는 'ei'값을 나타낸다.

'Hello World' Example

 

상수(Arithmetic) 표현

산술 표현식은 숫자로 표현(evaluate)된다. (e.g. 1+2*3, 7)

연산자 종류

a+b	덧셈
a-b	뺄셈
a*b	곱셈
a/b	나누기, 몫 반환
a mod b	나누기, 나머지 반환

 

이진(Boolean) 표현

이진 표현식은 True, False로 표현된다.

비교 연산자 종류

a = b	a와 b가 같으면 true
a <> b	a와 b가 다르면 true
a < b	a가 b보다 작으면 true
a <= b	a가 b보다 작거나 같으면 true
a > b	a가 b보다 크면 true
a >= b	a가 b보다 크거나 같으면 true

이진 연산자로 결합(combined) 가능

 

다른 주요 자료형

: OCaml은 integers, booleans, floating point numbers, characters, strings, unit이라는 6개의 주요 자료형을 제공.