Type-System Criteria by Tim Bray

This post is getting at some worthwhile ideas, but the thinking seems to be constrained by the idea that static typing = Java. See Haskell & Go for some rather different takes on how static typing can/should work.