Java Has Type Inference and Refinement Types (But With Strange Restrictions) | Dark Hacker News