Okay, who is the anonymous shitmouth who said something like, "You cannot even get Python, what makes you think you will get Ocaml?"
Python's function pointers are done in a silly way IMO. The builder may have thot it was "neat" to treat functions just like complex variables or "first class objects", or whatever, but I see no need. It just adds to confusion (like that which I tripped over that day I got chewed out for).
My suggested fix would be simpler linguistically, conceptually, and be WYSIWYG; no black box shit. (I could not vouch for speed though.) Python F'd that up. Too much C pointer shit background in the author. He couldn't think scripty enuf to get away from a C-like pointer-happy approach.
Python pissed on simplicity in many respects. It's incompatible and numerous collection types and syntax gives that away. Change (upgrade) colletion types and you have to overhaul your calling syntax from square brackets to curly brackets or whatever the convention de jur is. Smalltalk may be taxonomy-happy in it's collection libraries, but at least most of the methods mean the same thing throughout the taxonomy.
It has too many semi-overlapping approaches to things to be called a "scripting language" IMO.