Cómo usar la funcionalidad -spec en erlang

Question

Estoy escribiendo un pequeño servicio erlang y me gustaría poner restricciones a mis tipos.

Encontré la funcionalidad -spec, y me parece que esta es una forma de 'bloquear' las firmas de funciones para tipos específicos.

Mi ejemplo sería una función como:

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

añadiendo la línea

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

debe asegurarse de que el método devuelve al menos el tipo correcto, pero esto no parece ser el caso. .

de Si cambio de la función a:

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

el código aún se compila, funciona bien e incluso se ejecuta.

¿Qué es lo que no entiendo?

Answer 1

El compilador omite esos comentarios. Pero puede usar el dializador para hacer un análisis de código estático. Esta herramienta le advertirá sobre violaciones de especificaciones.

Answer 2

Como werewindle dice en another answer, -spec solo se utiliza para el análisis, no como parte de la firma. Si desea verificar los tipos de entrada, puede incluir cheques para el tipo en la guardia. Así, en su ejemplo, se puede hacer:

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). 

O, más idiomática, ya que sólo hay dos casos base legítimos:

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

Esto le impide hacer algo así como fib(bogus) o fib(0.5) o incluso fib(-1). Si lo intenta, fallará con un badmatch en tiempo de ejecución.

Nota: las únicas funciones que puede usar en un guard son funciones integradas permitidas por el tiempo de ejecución. La mayoría de ellos están en el módulo erlang.