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

>>19
Keep to your denial all you want, idiot, and thank goodness I don't have to deal with your code.
Want more examples up your ass - I've got 'em.

https://css-tricks.com/list-of-depreciated-elements-still-in-widespread-use/

Your objects had an align member, now they don't, but .getAlign() is still meaningful.

I could give you more examples but you know what? I'm not your mentor, I don't get paid for educating shit-coders, and - thankfully - I'm not the unlucky bastard that has to deal with your crappy code.

>>19
You were developing a game where units had armor ratings that were used to calculate damage. Then you've decided to extend the game with the ability to change armor based on magic effects or rust or whatnot. Not your units don't even have an armor field, they have baseArmor and shit so you just change the .getArmor() getter to

double getArmor() {
return (baseArmor + armorUpgrades + calcArmorModifiers(getCurrentEffects());
}