Re: [Caml-list] pattern match on class?

Re: [Caml-list] pattern match on class?

[Keiko Nakata]

From: skaller <skaller@users.sourceforge.net>

>We have anonymous objects now .. but can one pattern
>match on a class as one can on a record?

I might not understand you correctly,
but I think it is impossible 
if you want something like "instance of" in Java.

Because the run-time does not carry type information of values,
it has no way to know the exact type of an object,
nor whether an object is an instance of a particular class.


Keiko NAKATA

pattern match on class?

[skaller]

We have anonymous objects now .. but can one pattern
match on a class as one can on a record?

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

Re: [Caml-list] pattern match on class?

[brogoff]

On Thu, 24 Nov 2005, skaller wrote:
> We have anonymous objects now .. but can one pattern
> match on a class as one can on a record?

No. But pattern matching is the enemy of data abstraction, and
we did get private row types, which allow polymorphic variants
and classes to play a bit more nicely with OCaml's data abstraction
facilities.

I'm not sure why you thought that there was a relationship between
anonymous objects and pattern matching. The question which pops into
my mind is, "Now that we have anonymous objects, when will we have
delegation?" but even more than that I wonder about the many other
features that have been discussed that could be used in place of
objects and classes.

-- Brian