Java Has Type Inference and Refinement Types (But With Strange Restrictions)james-iry.blogspot.com1 point·juanpablo··0 commentsOpen articleSaveView on HN