Use exceptions

• Exceptions can be returned from functions without affecting the normal return type

- exception NotFound;

- fun find pred nil = raise NotFound

| find pred (x::xs) =

if pred x then x else find pred xs;

val find = fn : (‘a->bool) -> ‘a list -> ‘a

- find is_positive [~3,3,5];

3 : int

- find is_positive [~3,~5];

uncaught exception NotFound

Previous slide

Next slide

Back to first slide

View graphic version