Holes in encapsulation

• Signatures don’t completely hide module implementation

• Types defined using type are not hidden

  - Queue.empty = nil;true : bool;
  

• If you want to hide types, use datatype instead of type

Previous slide

Next slide

Back to first slide

View graphic version