[Dn_Ab]

Well, no. Because the distance, especially the idiomatic distance, between C and Java is much more than the distance between F# and Ocaml. The core languages of both are essentially equivalent. Ocaml and F# have diverged a fair bit in their fringes/exotic features (I can go into this in more detail) but if the bulk of your code use the more humdrum features then going between the two is trivial.

A more apt analogy would be to consider two languages that extend C in different ways but for which the core of C can be used in both with almost no modification (D & C++?). I suppose a python/jython/ironpython comparison would be more accurate.

p.s. with respect to grandparent, I don't subscribe to the philosophy of casting everything in terms of winner take all wars.