[엄태건]

type symbol = string

이렇게 선언을 하게 되면

symbol이라는 type을 만들기 위해선 어떻게 해야 하나요?

다시 말하면, type symbol = Symbol of string 이라고 하면 let a = Symbol "a" 이렇게 type을 만들 수는 있는데, 위의 것은 어떻게 하나요?

또한

type symbol = string
type state = string

이라고 되어있는데, 두 개를 어떻게 구분해서 type을 만들 수 있는건가요?

[현.철]

symbol이 사실상 string이란 뜻입니다. 그냥 string처럼 쓰시면 됩니다.

C의 typedef를 생각하시면 될 것 같습니다

[엄태건]

음 예를 들어

type symbol = string이라고 지정 한 후
let a = "aa"
이렇게 하면

val a: string = "aa"

이렇게 지정되잖아요.

그런데 val a: symbol = "aa" 이렇게 지정되게 하려면 어떻게 해야하는건지.....ㅠㅠ

type symbol = Symbol of string
type state = State of string
이렇게 지정해줘야 symbol 과 state 타입을 쓸 쑤 있는게 아닌가요...
제가 이해를 잘 못하고 있느건가 ㅜㅜ

[현.철]

타입을 명시적으로 적고 싶으신 경우

let ( a : symbol ) = "aa"

라고 하시면 되어용..

[엄태건]

감사합니다 ㅜ ㅜ