*Also, type-checking is free[1], while unit tests have to be manually written.* ... | Hacker News

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

		mikeryan on June 20, 2012 \| parent \| context \| favorite \| on: Experiment: Unit testing isn't enough; You need st... Also, type-checking is free[1], while unit tests have to be manually written. The use of type-checking doesn't negate the need for unit tests. It just adds another layer of validation. The Unit Test "cost" is still there.

Peaker on June 20, 2012 [–]

You can write far fewer tests if you have good static validation.

For example, taken to the extreme, you can write 0 tests in Agda, and still have more assurances about correctness than if you had 100% coverage in a dynamically typed program.

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