Based on our experience with Objective caml,we present osme of the fundamental design issues raised by the interatin of objects and classes within a functional language featuring Hindley-Milner polymorphism and ML-style modules.We then discuss the potential overlaps betwene,and hte uniqeu rfeatures of ,objects and classes on the one hand,and abstract data types and modules on the other.
展开▼