Only in the extent of its dynamism. Lots of the type inferencing techniques are usable, but with great care and some amount of tentativeness.