some guy said in reply to russian translation of that post: there were a lot of breakthroughs since smalltalk, lisp and cpp were invented: pure functional languages, finger trees, theorem prover's and formal verification.

There's not much sense to learn another framework OR another way to solve problem. You should concentrate more on a theories that let you do it all yourself: Set, Type, theories etc.