but is there say, something that (S)ML's modules allow which is not possible to do with F#+.NET objects?
I.e. ML's modules can be used to create interfaces and implementations of ADTs, but so can OO interfaces and classes.
I.e. ML's modules can be used to create interfaces and implementations of ADTs, but so can OO interfaces and classes.
F# lacks modules, instead favoring objects. Although it's derived from OCaml, it has omitted complex features which don't fit in to the .net ecosystem.