Browse thread
[Caml-list] Naming polymorphic variant types
-
Nick Alexander
-
Jacques Garrigue
-
Nick Alexander
- Jacques Garrigue
- Nick Alexander
-
Nick Alexander
-
Jacques Garrigue
[
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: | 2002-08-21 (23:51) |
From: | Jacques Garrigue <garrigue@k...> |
Subject: | Re: [Caml-list] Naming polymorphic variant types |
From: "Nick Alexander" <nalexander@amavi.com> > Now, can anyone point me at docs about polymorphic records? I can't find > a thing :( They were mentioned in the 3.05 release notes as'- > Support for polymorphic methods and record fields.' > which could be an extension of the object-based polymorphic records or a > really useful extension like the polymorphic variants. Oops, you didn't parser the above sentence correctly. What 3.05 adds is "polymorphic methods" and "polymorphic record fields", but not "polymorphic records" (you still have to simulate them with objects). Polymorphic record fields are shortly described in the core language part of the tutorial; they provide explicit polymorhism at the record field level, which may be light than going through objects and methods. Jacques Garrigue ------------------- 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