Algebraic types and `objects'

6 Sep 2001

      To follow up Cagdas Ozgenc's message of Wednesday, I have attached
a series of files which show a gradual transformation (or refactoring)
of an algebraic type of shapes into a Shape type, built using type classes
and existential types, which more corresponds to an OO approach.

Hope this is useful.

Simon

Algebraic types and `objects'

S.J.Thompson