Next time

• ML types

  • user-defined datatypes, variant records, recursive types, polymorphic types, exceptions, streams, …

• Haskell

  • lazy evaluation
    • purely side-effect free, infinite lists
  • type classes for added flexibility in polymorphism

Previous slide

Back to first slide

View graphic version