Contracts are types. If they are enforced at compile time, they are static. | Hacker News

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

login

marcosdumay on April 18, 2016 | parent | context | favorite | on: Develop the three great virtues of a programmer: l...

Contracts are types.

If they are enforced at compile time, they are static.

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