Scrap Your Boilerplate

12 lines of Agda code is verified red-black tree insertion.
12 lines of Java code would be a class declaration with some getters/setters

>>7
Fuck OOP and fuck ENTERPRISE ENCAPSULATED REUSABLE CLASSES. Begone, evil witch, and tale your fucking UML with you. If the programmer can't be trusted to operate with the data structure himself, then he shouldn't be a programmer. And anyway, 99.999% of the time, the shitcode is going to be rewritten anyway, because it doesn't matter how fucking great that class is, no one in going to want to undertake the task of turning that CD burning app into a golf simulator server.