Unless I'm missing something, it's only an inconsistency if you assume Erlang is not statically typed, which is why I said you seem to be begging the question.

Unless I'm missing something, it's only an inconsistency if you assume Erlang is not statically typed, which is why I said you seem to be begging the question. Erlang (and indeed any dynamic language) could be viewed as statically typed in the not-particularly-useful way amelius was describing.