ML-Descended Multi-Paradigm Languages

ML-Descended Multi-Paradigm Languages are languages that add further paradigms on top of the ML family design while keeping its core type system and functional heritage. OCaml is described in its own Wikipedia lead as a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features, so its own lineage runs through Caml back to ML. F# is described in its own Wikipedia lead as a member of the ML language family that originated as a .NET Framework implementation of a core of the programming language OCaml, carrying that same ML lineage onto the .NET platform while adding imperative and object-oriented features of its own. Each member placed under this group carries its own separate citation for the specific fact that places it in this family.