I'd argue that neither Ocaml nor F# get the OO-FP integration quite right. The problem is this: offer ... object system on top of ... functional fea

I'd argue that neither Ocaml nor F# get the OO-FP integration quite right. The problem is this: offer ... object system on top of ... functional features. This implicitly assumes that objects are a special case of functions. This is questionable. Scala goes the other way and recovers functions as special cases of objects. In my opinion that solved the integration problem of typed OO with statically typed FP. Javascript, Smalltalk et al are not statically typed. Almost any language having some kind of procedure mechanism. I'm not sure how helpful it is to take that alone as an example of supporting FP.