I think the nirvana of typing is hybrid static/dynamic and it hit us with visual basic 6. I don't think anyone really noticed it though.
It supports traditional type checking by the compiler, runtime type inference and dynamic typing without boxing. Each case can be chosen at will. It supports all theoretical programs, supports unit testing and runtime assertions.
The least buggy software I've seen over the years was written in vb6 (by professionals, not the crap that haunts the web).
Now I'm not saying we should all switch to vb6 but some of the ideas may be worth investigating.
I think the nirvana of typing is hybrid static/dynamic and it hit us with visual basic 6. I don't think anyone really noticed it though.
It supports traditional type checking by the compiler, runtime type inference and dynamic typing without boxing. Each case can be chosen at will. It supports all theoretical programs, supports unit testing and runtime assertions.
The least buggy software I've seen over the years was written in vb6 (by professionals, not the crap that haunts the web).
Now I'm not saying we should all switch to vb6 but some of the ideas may be worth investigating.