ML concrete user-defined datatypes

• Users can define their own (polymorphic) data structures

• Simple example: ML’s version of enumerated types

  • datatype sign = Positive | Zero | Negative;

• Introduces constants

  • Can be used in patterns

Previous slide

Next slide

Back to first slide

View graphic version