最強の静的型付け言語は何？

[1 デフォルトの名無しさん 2013/08/24(土) NY:AN:NY.AN]

やっぱりC++？
あるいはC#？
それともHaskell？