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

>>6
Holy fuck you are an idiot ignorant of the OOP principles.

The point of encapsulation is that if in the future you change the underlying implementation of your class, code will still work. You want to allow your client to directly access your fields? In the future your class might not even have those fields, good luck having code like foo.x += 1; work when foo doesn't even have a field named "x".