It means that the two features are independent: you can have the compiler check types in non-functional languages, and you can have functional languages that do

It means that the two features are independent: you can have the compiler check types in non-functional languages, and you can have functional languages that do not have static typing. Elm happens to have both static type checking and language features supporting functional programming.