erlang에서 -spec 기능을 사용하는 방법

Question

작은 erlang 서비스를 작성 중이며 내 유형에 제약 조건을 넣고 싶습니다.

나는 -spec 기능을 찾았으며,이 기능이 특정 유형의 기능에 대한 서명을 '잠그는'방법이라고 생각합니다.

내 예는 함수처럼 될 것이다 :

fib(N) when N < 3 -> 
    1; 
fib(N) -> 
    fib(N-1) + fib(N-2). 

-spec fib_cps(pos_integer()) -> pos_integer(). 

이 방법이어야 올바른 형식을 반환 확인해야합니다 라인을 추가하지만,이 경우 될 것 같지 않습니다. .

fib(N) when N < 3 -> 
    ok; 
fib(N) -> 
    not_ok. 

: 내가 할 수있는 기능을 변경하는 경우에 대한

코드는 여전히 컴파일되고 정상적으로 실행됩니다.

내가 뭘 잘못 알고 있니?

Answer 1

컴파일러는 이러한 주석을 건너 뜁니다. 하지만 투석기를 사용하여 정적 코드 분석을 할 수 있습니다. 이 도구는 사양 위반에 대해 경고합니다.

Answer 2

werewindle은 another answer에서 -spec은 서명에 사용되지 않고 분석에만 사용됩니다. 입력 유형을 확인하려면 가드에서 유형에 대한 점검을 포함 할 수 있습니다. 따라서, 귀하의 예를 들어, 당신은 할 수 있습니다 :

fib(N) when is_integer(N), N > 0, N < 3 -> 
    1; 
fib(N) when is_integer(N), N >= 3 -> 
    fib(N-1) + fib(N-2). 

또는 더 관용구, 두 합법적 인 기본 경우가 있기 때문에 :

fib(1) -> 1; 
fib(2) -> 1; 
fib(N) when is_integer(N), N >= 3 -> 
    fib(N-1) + fib(N-2). 

이 fib(bogus) 또는 fib(0.5) 같은 일을하지 못할 것 또는 심지어 fib(-1). 시도 할 경우 런타임에 badmatch으로 실패합니다.

참고 : guard에서 사용할 수있는 유일한 기능은 런타임에서 허용하는 기본 제공 함수입니다. 대부분은 erlang 모듈에 있습니다.