Functional languages give powerful expressions for proving code correctness. Imperative languages provide good semantics for reasoning about performance. I don'

Functional languages give powerful expressions for proving code correctness. Imperative languages provide good semantics for reasoning about performance. I don't see them as rivals, rather as two paradigms operating on different domains. Object-oriented languages on the other hand....