"Ada is more productive than contemporary languages" is a much narrower statement than the implied "static typing is always more productive and correct than dynamic typing"