Comment by eru
19 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.
19 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.