Static typing is great. My point is that whether a language is statically or dynamically typed has no bearing on whether it is functional.