I <i>really</i> don&#x27;t want to sound negative, I&#x27;m sure a lot of thought and work went into this, but one has to wonder - would it not be easier to just use static languages instead of writing static analyzers from scratch for every dynamic language out there?