[erlang-questions] Why is Erlang what it is?

[Serge]

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.
> 
>      /Richard

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?

Serge