Re: [Sml-implementers] Structure sharing and type abbreviations

[Andreas R. <ros...@ps...>]

Dave Berry wrote:
> 
> At 12:46 16/09/2001, Derek R. Dreyer wrote:
> >To clarify: the transparent interpretation of datatypes is one in which
> >datatype specifications expose the implementation of a datatype as
> >a recursive sum type.
> 
> Thank you.  That was what I was alluding to; I apologise for using a
> garbled example.
> 
> >I'm pretty sure O'Caml also has an opaque interpretation of datatypes.

Yes, it has. Datatypes are generative in OCaml.

> This brings up a separate point.  Perhaps people could announce new
> SML-related papers on this mailing list?  Would other people find this useful?

A very good idea!

	- Andreas

-- 
Andreas Rossberg, ros...@ps...

"Computer games don't affect kids; I mean if Pac Man affected us
 as kids, we would all be running around in darkened rooms, munching
 magic pills, and listening to repetitive electronic music."
 - Kristian Wilson, Nintendo Inc.