Well, we let humans write both business logic code and tests often enough, too. ... | Hacker News

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

		eru 15 hours ago \| parent \| context \| favorite \| on: AI is forcing us to write good code Well, we let humans write both business logic code and tests often enough, too. Btw, you can get a lot further in your tests, if you move away from examples, and towards properties.

jaynetics 14 hours ago [–]

Can you give an example (pun not intended) of testing with properties?

eru 12 hours ago | [–]

https://fsharpforfunandprofit.com/series/property-based-test... is an entertaining intro.

https://hypothesis.readthedocs.io/en/latest/ are the docs for one of the best property based testing libraries available in any language.

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