On 31-May-2002, Don Syme <[EMAIL PROTECTED]> wrote: > The syntax is the same. ILX implements generics by erasure to > System.Object, so the runtime type semantics of is different, but this > is not an issue when compiling languages like SML, Caml, F# and Mercury > whose semantics do not reveal runtime types.
You're right about SML, Caml, and F#, but I don't think Mercury belongs in that list. Mercury has support for run-time type introspection, e.g. a "type_of" function which can be applied to polymorphically typed variables to reveal their run-time type. Currently we need to generate our own RTTI data, rather than using the .Net reflection support, but that might (should?) change if we targetted ILX rather than IL. -- Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit The University of Melbourne | of excellence is a lethal habit" WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
