Browse thread
[Caml-list] does class polymorphism need to be so complicated?
-
Benjamin Geer
-
Brian Hurt
- Richard Jones
-
Benjamin Geer
-
brogoff@s...
- Jacques Carette
- Benjamin Geer
-
brogoff@s...
- Issac Trotts
-
Brian Hurt
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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