Python is generally considered quite strongly typed, though dynamic. That is because Python has relatively few implicit conversions, and especially few that are surprising ("1" + 1 is an error, not 2 or "11"; and unsigned short + unsigned short does not equal a signed int).

I think parent didn't say anything to the contrary, or maybe it was edited?

First iteration was didn't include the part about haskell/ocaml.