Hacker News new | ask | show | jobs
by epolanski 1083 days ago
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.