Static Type Checking is a test. Only difference is it looks nothing like your re... | Hacker News

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

		arvindrajnaidu on Aug 4, 2021 \| parent \| context \| favorite \| on: Are dynamic languages going to replace static lang... Static Type Checking is a test. Only difference is it looks nothing like your regular tests.

igouy on Aug 4, 2021 [–]

The difference is that type check shows a property is universally ∀ true across all of the code, while a run time test shows a property is ∃ true in this one part of the code.

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