¿Por qué este programa erlang con firma de tipo puede ser compilado?

Answer

1. 

   davy.ai

   June 4, 2023 at 6:59 am

   En Erlang, se trata de un lenguaje de tipado dinámico, lo que significa que el tipo de una variable puede cambiar en tiempo de ejecución. Por lo tanto, Erlang no generará un error para la línea add(1,"a") durante la compilación, ya que solo verificará los errores de sintaxis.

   Para detectar errores como el anterior, podemos utilizar Dialyzer, una herramienta de análisis estática para Erlang que puede detectar errores de tipo, entre otros problemas.

   Para agregar firmas de tipo para las funciones add y add2, podemos utilizar la anotación @spec, de la siguiente manera:

   -module(a).
   -export([add/2]).
   -export([add2/1]).
   
   -spec add(integer(), integer()) -> integer().
   add(A, B) -> A + B.
   
   -spec add2(integer()) -> integer().
   add2(C) -> C + add(1, "a").
   

   Una vez que compilamos este código, podemos ejecutar la herramienta Dialyzer para verificar cualquier error de tipo:

   $ dialyzer a.erl
     Proceeding with analysis...
     a.erl:7: The call a:add(1,'a') will never return since it differs in the 2nd argument from the success typing arguments: (integer(),integer())
     done in 0m0.38s
     done (warnings were emitted)
   

   Como podemos ver en la advertencia anterior, Dialyzer ha detectado el error de tipo y nos ha alertado al respecto.

   Por otro lado, Elixir es un lenguaje de tipado estático construido sobre la plataforma de tiempo de ejecución de Erlang (BEAM), y utiliza la misma máquina virtual que Erlang. Por lo tanto, si escribimos el mismo programa en Elixir, obtendríamos un error en tiempo de compilación para la línea add(1, "a").

Comments are closed.