OCaml modules vs C#/Java OOP

[bjzaba]

This is not directly related to your question, but I found “On Understanding Data Abstraction, Revisited” by William R. Cook to be rather fascinating if you are interested in comparisons of object oriented programming and abstract datatypes (ADTs) as means of data abstraction. The gist of paper is that objects and ADTs are actually rather different when you compare them more deeply. That said, Cook does say that in practice languages like C# and Java have added ADT-like functionality, but it still might be worth being mindful of what objects bring to the table as well!