Erlang Type System

[orbitz@REDACTED]

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.

Thanks

http://orbitz-erlang.blogspot.com/