Comment by eru
5 hours ago
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.
5 hours ago
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.
Can you give an example (pun not intended) of testing with properties?
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.