Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] does class polymorphism need to be so complicated?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Carette <carette@m...>
Subject: RE: [Caml-list] does class polymorphism need to be so complicated?
> The extension of Brian's code to rows with more than one field is obvious 
> though, isn't it? 

Indeed - but that rather begs the question of why are classes and rows
different, as they (naively perhaps) seem so ripe for 'unification'.

The work on dependent records in Coq seems highly related (and looks quite
successful, at least in the context of the FOC project).

Jacques

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners