Here's some research on the topic, limited to just types- http://evanfarrer.blog... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

randomfool on April 26, 2015 | parent | context | favorite | on: Pure Python Vim clone

Here's some research on the topic, limited to just types- http://evanfarrer.blogspot.com/2012/06/unit-testing-isnt-eno...

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

coldtea on April 27, 2015 [–]

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

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