The term was coined by Jeremy Siek, who developed gradual typing in 2006 with Walid Taha.
The addition of a second phase of plausibility checking to the type system did not completely solve this problem.
ActionScript is a gradually typed language[15] that is now an implementation of ECMAScript, though it originally arose separately as a sibling, both influenced by Apple's HyperTalk.
Type checks occur at all locations where values are assigned or bound.
Objective-C has gradual typing for object pointers with respect to method calls.
Static typing is used when a variable is typed as pointer to a certain class of object: when a method call is made to the variable, the compiler statically checks that the class is declared to support such a method, or it generates a warning or error.