How does ML handle overloading?

• Resolves overloading based on static argument types

  • OO languages more generally use dynamic argument classes
  • Ada also uses return types

• If you want to specify a particular operator in ML, you can

  • (op +): real*real->real
    fn : real*real -> real

Previous slide

Next slide

Back to first slide

View graphic version