undefined | Better HN

0 pointsrandomfool11y ago0 comments

Types are one mechanism for static analysis. Better contracts (nullability, valid ranges, etc) goes much further.

0 comments

Nullability and ranges can also be encoded as types in the appropriate type system.

j / k navigate · click thread line to collapse

Nullability and ranges can also be encoded as types in the appropriate type system.

j / k navigate · click thread line to collapse