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-univers...

[2] http://www.cs.nott.ac.uk/~pszgmh/pih.html

[3] https://www.youtube.com/watch?v=rkZzg7Vowao

[4] https://www.udacity.com/course/design-of-computer-programs--...