Perhaps the ideal language would be one where every library is statically typed, either through social or technological means, but the application language is o

Perhaps the ideal language would be one where every library is statically typed, either through social or technological means, but the application language is optionally typed. This would be a pretty big departure from most normal languages, but with opinionated languages like Go (which comes with its own code formatter) existing, it's not too crazy.