Modules

• datatypes were cool, but they exposed their representation

  • Helped with pattern matching, etc.

• ML modules support encapsulated abstract data types

  • hidden operations, values, types, and some kinds of polymorphism

Previous slide

Next slide

Back to first slide

View graphic version