The point to using types is that they make static analyses more compositional. T... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		catnaroek on Feb 29, 2016 \| parent \| context \| favorite \| on: Comparing Rust and Java The point to using types is that they make static analyses more compositional. Types enforce invariants across module boundaries, without requiring the entire program to be checked in a single pass.

pron on Feb 29, 2016 [–]

Yes, but they may also lose information in the process... As usual, it's a tradeoff.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact