References

• ML allows side-effects through explicit reference values

  • Completely non-functional
  • ref : ‘a -> ‘a ref
  • ! : ‘a ref -> a
  • (op :=) : ‘a ref * ‘a -> unit

Previous slide

Next slide

Back to first slide

View graphic version