Part if the plateau might be not knowing the new stuff cold. There are times when it's hard to progress if your base understanding is kind of shaky. as you actu

Part if the plateau might be not knowing the new stuff cold. There are times when it's hard to progress if your base understanding is kind of shaky. as you actually use the new stuff it'll gel, and open up new avenues for inquiry. I'd also suggest Haskell. compare this: http://www.joelonsoftware.com/articles/LeakyAbstractions.html http://www.joelonsoftware.com/articles/LeakyAbstractions.htm... to abstractions from math. mathematicians ensure the abstractions never leak. they make the rules, there is no way out of the game. this kinda points in that direction: http://conal.net/blog/posts/denotational-design-with-type-class-morphisms http://conal.net/blog/posts/denotational-design-with-type-cl... I think the most important thing is just keep trying.