Hacker News new | ask | show | jobs
by david_w 2247 days ago
I have a folder named "proofs" on my machine which is just this. About 1500 and counting little programs that demonstrate or prove that something works some way or another. The class name expresses the proven fact. When I find out I am wrong, I change the name of the class to reflect the correct understanding. I read through the names in my IDE when I need to know some detail about something I've forgotten.
1 comments

Could you give some examples? This sounds really interesting.
Sure. In Java a class named :

ArraysOfConcreteParameterizedTypesAreDisallowed

The body of this class is a proof of this fact.