On Sun, Jul 14, 2002 at 06:38:42PM +0900, Jacques Garrigue wrote:
> This only works if your object has a monomorphic type.
> 
> The real point is that if object definitions were really first class
> in the language, they would not be restricted by these strange
> variable binding conditions: type inference would be enough.
> Since there is no theoretical problem here, it may well be a useful
> extension.

I was thinking about this recently, and it occurs to me that first class
object definitions would provide something equivalent to polymorphicly
typed records.  This would be a nice dual to the polymorphic variants
already in the language, i think.  Are there any plans for such an 
extension?  Would such an extension be feasible?

William
-------------------
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