Erlang Type System

Sat Sep 17 17:36:50 CEST 2005

I was hoping someone could clear up some confusion.  As I understand 
it, with a dynamically typed language you can change the type of x.  
For instance in Python x = 1; x = 1.5;  Obviously we can't do that in 
Erlang.  So is that a proper idea of what dynamic typing is, and does 
this make Erlang statically typed or dynamically?  Most people tell me 
Erlang is still dynamically typed because the variable passed in a 
function can be of any type.


More information about the erlang-questions mailing list