変数の型の強さは多分こんな感じ

静的型関数型言語 (Haskell, OCaml等) >>> 静的型手続き型言語 (Java, C# > C, C++) >
動的型言語 (Python, Ruby > Perl, JavaScript, PHP)

動的型の関数型言語は知らん