[남기웅]

라이브러리를 아무리 뒤져도 모르겠네요. Nativeint, Int32 등등의 type은 다 뭔지...

정수를 실수로 캐스팅 하는 방법좀 누가 알려주세요~

[남기웅]

int32로 캐스팅 한 다음에 다시 real로 캐스팅 하니까 되네요 ㅠㅠ;; 이거 게시물 삭제하는 방법도 모르겠네요. 죄송합니다...

[남기웅]

float : int -> real
truncate : real -> int

float 1 하면 1.0으로 되고, truncate 1.0 하면 1이 되네요. 저만 몰랐나요 ><;;;

계속 (double)x 이런 식으로 쓰니까 에러가 많이 나네요

[오학주]

답변이 늦어 죄송합니다.
A 타입의 값으로부터 B 타입의 값을 만들고 싶은 경우
B_of_A 함수들을 이용하면 편리합니다.

예)
int에서 real로 변환: real_of_int: int -> real
real에서 int로 변환: int_of_real: real -> int
int에서 string으로 변환: string_of_int: int -> string
...

A,B가 primitive타입인 경우 대부분의 함수들이 이미 nML에 정의되어 있습니다.

예를 들어 정수 5를 실수로 바꾸려면 (real_of_int 5)