Hacker News new | ask | show | jobs
Java Has Type Inference and Refinement Types (But With Strange Restrictions) (james-iry.blogspot.com)
1 points by juanpablo 6220 days ago