Perhaps at this point you have made up your mind, I haven't tried OCaml, but I can recommend you Haskell. I am not sure what approach you'd like to take by lear

Perhaps at this point you have made up your mind, I haven't tried OCaml, but I can recommend you Haskell. I am not sure what approach you'd like to take by learning it, but typing code isn't enough, I mean, what's the point of knowing too much syntax? In the era of Massive Information Availability. I also don't know at what stage of your journey you are related to the functional programming paradigm but still I do have two related recommendations about it: FP101x (Provided by DelftX through edX [Now archived but still doable])[1] and the book Programming in Haskell by Graham Hutton.[2] Remember what Mr. Leslie Lamport says: "If people is trying to learn programming by being taught to code, well they are being taught writing by being taught how to type. And that doesn't make much sense." [3] Python? You may be surprised to know one or two pending tricks about that programming language, take a look at Design of Computer Programs by Peter Norvig at Udacity [4] Scala is a good option too, since you mentioned getting tired from lack of real statically typing. EPFL Extension School has a good one: Effective Programming in Scala (Also available for free at Coursera). Hope that helps, and happy learning! [1] https://www.edx.org/learn/computer-programming/delft-university-of-technology-introduction-to-functional-programming https://www.edx.org/learn/computer-programming/delft-univers... [2] http://www.cs.nott.ac.uk/~pszgmh/pih.html http://www.cs.nott.ac.uk/~pszgmh/pih.html [3] https://www.youtube.com/watch?v=rkZzg7Vowao https://www.youtube.com/watch?v=rkZzg7Vowao [4] https://www.udacity.com/course/design-of-computer-programs--cs212 https://www.udacity.com/course/design-of-computer-programs--...