My litmus test for whether a language really succesfully marries OO and FP is: how well does a language blend pattern matching syntax and inheritance? OCaml -

My litmus test for whether a language really succesfully marries OO and FP is: how well does a language blend pattern matching syntax and inheritance? OCaml - basically only gives you pattern matching on primitive types. Object types end up having dramatically different code style Scala - any syntax that deals with types quickly becomes so complicated that you can't explain it to non-experts I don't know much about F#. I've heard that Clojure's core.match grants pattern matching over abstract interfaces in a nice style. It's not an official part of the language, yet, though.