Re: introspection in SML

michele.simionato@[EMAIL PROTECTED]
 wrote:
> I am not sure about what to do with introspection in SML.

Introspection can be very useful and is the right tool for many jobs and,
as
you have discovered, is basically completely absent from SML.

I would say that your options are basically OCaml or F#.

OCaml has a macro system that makes it easy to extend the syntax of the
language (e.g. with test augmentations) and manipulate its ASTs _prior_ to
batch compilation. You might like to look at some of the unit testing
frameworks for OCaml.

F# is far more advanced and more useful because it carries relevant
information at run-time, so you can dynamically determine the members of
an
object and invoke them.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?u