That makes sense. This is the most convincing reason I've come across in this thread.

How do code completion work in languages where the predicate goes before the subject?

Easily, for typed languages: the values which can be parameters are constrained to values which are in scope and of the appropriate type.

Both styles can utilize that kind of intellisense on parameters. What about code completions before you've specified the parameters? Not really possible in the functional style unless your functions are namespaced and then you're still limited to what was in that module. Only with object-verb method passing can you get code completions related to the data before you've started specifying (the rest of) the parameters.

When declaring a variable, in a typed language you could use the variable type to filter down the possible function completions based on return type; in practice, I don't think any LSPs do that.