[shwlinux]

제대로 된 입력인지 확인하기 위해

타입이 int인지 확인하는 함수가 있나 라이브러리에서 찾아봤더니

is_int 와 is_integer_num이 있더라구요

module Num에 선언되어있고

library에

val is_integer_num : num -> bool
Test if a number is an integer

이라고 되어있어서

Num.is_integer_num 1;;

이라고 해보았더니
Error: This expression has type int but an expression was expected of type
Num.num


이런 오류가 뜨네요

어떻게 해야 저 함수를 사용할 수 있는건가요 ㅠㅠ

[김태훈10]

검색해봣습니다
앞부분에 불러오는명령이 있어야되나봅니다.송현우학우님

[shwlinux]

감사합니다 김태훈 학우님

당신의 코딩에 행운과 평화가 가득하길 기도합니다

[이승중]

안녕하세요 두 학우님

match ... with 로 Int 로 만든 exp 타입인지만 확인하시면 됩니다.

module Num에 있는 Int는 숙제에서 정의한 Int와 다른 것이고

is_integer_num은 Num 모듈에서 정의한 num 타입의 원소가 Num모듈의 Int로 만들어진 값인지 확인하는 함수입니다. 임의의 변수 타입이 int인지 확인하는 함수가 아닙니다. 따라서 이번숙제에서도 필요 없습니다

ocaml에서 어떤 변수가 정수 타입이라고 추론되면 항상 정수 타입의 값만 들어오기때문에 따로 확인할 필요가 없습니다.