SML 명시 적으로 함수 매개 변수 유형을 IntInf로 설정하는 방법

Question

SML에서 고유 한 큰 숫자에 대한 정렬 함수를 만들려고하지만 컴파일러는 함수 유형을 'a 대신 int로 설정합니다. IntInf를 사용하도록 컴파일러에 어떻게 명시 할 수 있습니까?

Answer 1

IntInf은 모듈의 이름입니다 나는 그것이 "IntInf : 언 바운드 형식의 생성자 오류"저를주는 유지

fun selectsort([a]) = [a] 
    | selectsort(l : IntInf list) = 
    if (hd(selectsort(tl(l)))) < hd(l) then hd(selectsort(tl(l)))::h::tl(selectsort(tl(l))) 
    else hd(l)::selectsort(tl(l)); 

을하려고 할 때

fun selectsort([a]) = [a] 
    | selectsort(h::t) = 
    if (hd(selectsort(t))) < h then hd(selectsort(t))::h::tl(selectsort(t)) 
    else h::selectsort(t); 

: 여기

내 코드입니다 형식의 이름은 IntInf.int입니다. 아아, 당신의 코드는 다소 단순화 :

fun selectsort([a]) = [a] 
    | selectsort(x::y::t : IntInf.int list) = 
    if y < x then y::x::selectsort(t) else x::selectsort(y::t) 

참고 그러나 그 IntInf는 모든 구현에 사용할 수없는 옵션 모듈입니다.