Erlang was developed by Prolog developes with dynamic typing in mind. My understanding is there have been a number of efforts to add static typing to Erlang, including one by Wh
