[erlang-questions] Why is Erlang what it is?
Fri Dec 22 15:24:27 CET 2006
Richard Carlsson wrote:
> Well, that was of course also wrong of me. Erlang is strictly typed
> (with checks at runtime) - i.e., there are no unsafe operations,
> but it is not *statically type checked*, which is what I should
> have written.
Could you please define "strict typing" more verbosely. According to
wikipedia (http://en.wikipedia.org/wiki/Type_system) there are primarily
three typing groups:
1. Static and dynamic typing
2. Strong and weak typing
3. Safely and unsafely typing
What is "strict typing" then? Dynamic + strong + safe? Are there any
references that discuss this type definition?
More information about the erlang-questions