Dynamic and static merely point to the fact that type analysis is either done at runtime or at compilation time. It is an unrelated concept to which type rules

Dynamic and static merely point to the fact that type analysis is either done at runtime or at compilation time. It is an unrelated concept to which type rules will be applied by the software at runtime or compilation time.