Re: [isabelle] Problem with unfolding definitions while instantiating class

Hi Nils,

> I'm not sure if I am thinking to object oriented.

without following you in detail, your use of the phrase »object
oriented« suggests that you see a relationship between classes as
inlanguages like Java and Isabelle's type classes.  But there is, well,

If you want to approach Isabelle's type classes from a programming
language perspective, Haskell's type classes are their nearest cousins.
 There is also a tutorial on type classes coming with the Isabelle
distribution which gives some examples.

Hope this helps,


PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.