I have the impression that static is that it's known in advance, and strong is that it's enforced. Usually strong typing is a prerequisite to static typing, but does not imply when the type check is made.
Does anyone have a better definition?
And what's the diff between weak and dynamic?
In reply to Re: The most useful form of typing is...
by nothingmuch
in thread The most useful form of typing is...
by tye
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |