[troupo]

It doesn't help that many texts approach this as a very pseudo-mathematics abstract. It's not a function, it's an implication. It's there are satisfactions of preconditions, there's a thousand different things.

Unfortunately, very few texts and tutorials on property-based testing actually tell you how to see what properties are. I have it on paper somewhere in some workshop materials. But online I think this is one of the very few that describe what they are: https://fsharpforfunandprofit.com/posts/property-based-testi...

[skybrian]

Good link. I think that explanation works because it's somewhat closer to providing concrete examples of the kinds of tests you can write.

[BoiledCabbage]

Buy his book - it's great and exactly like that.

Domain Modeling Made Functional - Scott Wlaschin

In the link above he's described 7 very practical ways to use it. No functional jargon, no mathematical jargon. Just practical useful ideas. And the language choice in the book is irrelevant - the concepts translate well.

There is an alternate universe where he would be well known as the top author on software engineering. His website is great as well.

That said, if you do know a bit of the math his example introduced commutative, invertible, invariance, idempotency, structural recursion & isomorphism - but anyone reading it would never really know and would never need to know. It's just framed as useful applications of tests.