明示的型付けの関数型言語

ある程度プラットフォーム非依存な、主流派（C風）の文法を持っている、関数型言語と同様の記述力を持った言語のうちで、明示的型付けを採用しているのって、Javaしかないのじゃない？
（関数型言語と同様の記述力というのは、完全な"レキシカルクロージャ"を持っている言語というような意味で使ってます）