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,
none.

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,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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