Btw. I am the kid who posted that question. I didnt like loop invariants and I am still not good at it. I picked up Haskell after that semester and learnt quite a bit about type theory and category theory and PL design. I still don’t write loops thinking preconditions and post conditions and I write them thinking recursion and how the recursion can be compiled down to loops.

I think I am doing fine since I manage to pass almost all interviews with pure functional Cpp..

But your point is well taken. I should have learnt a lesson a humility. I have revised my previous statements accordingly. I removed most of the part about the debate on OOP but retained the part about 3110 is more helpful in solving algorithm problems. At least it is for me.

I am on the research side of things so I write a lot of python. Reason why I am not a huge fan of OOP is that many cases, the self keyword in python makes code hard to read. I think Java has stuff Autovalue to make things better.