In this post I’ll introduce a style of programming which may be totally unfamiliar and perhaps a bit magical to many readers. What if you could write a
unit test for a problem and have your compiler automatically return a correct implementation? Call it "test only" instead of "test first." ...
More...