[e-lang] Membranes in Emily?
david.nospam.hopwood at blueyonder.co.uk
Sun Jul 23 20:05:33 EDT 2006
Mark S. Miller wrote:
> an interesting thread has started up, trying to express the membrane pattern
> in strongly typed languages like O'Caml and Emily.
My opinion is that it probably needs a Dynamic type, for example as supported
by Acute or Alice ML.
(Some of the posts on LtU suggest that you need dependent types; that's
overkill. So is doing a global transformation using camlp4 or MetaOCaml.)
Since you also need a Dynamic type to fix the hole in OCaml's type
system (http://c2.com/cgi/wiki?OcamlTypeSafetyProblem) without losing
functionality, I think this is definitely the way to go.
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>
More information about the e-lang