You could think of types being a form of static analysis.  B originally had no types.  I think static analysis integrated into languages can progress as people realize there are things that they really don&#x27;t want to be able to do 90% of the time.