alt Hacker NewsGood link. I think that explanation works because it's somewhat closer to providing concrete examples of the kinds of tests you can write.
Good link. I think that explanation works because it's somewhat closer to providing concrete examples of the kinds of tests you can write.
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.