3 ms·
Type-System Criteria by Tim Bray
- ggchappell 15y agoThis 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.