undefined | Better HN

0 pointsjoe_the_user4y ago0 comments

I'm so confused by your stance here. You essentially say "type systems are not useful" and then "oh but this most recent advance in type systems — that one is useful." Do you find type systems useful or not?

Not the original author but it seems like they're saying that type-systems are non-specific invariant enforcers and so have costs without necessarily having benefits whereas a user-specifiable invariant enforcer is more guaranteed to have the benefits.

0 comments

1 comments · 1 top-level

amelius4y ago

More like: type-systems are a special kind of invariant enforcers, and so they are less useful than generalized invariant enforcers.

j / k navigate · click thread line to collapse