[e-lang] Membranes in Emily?

[David Hopwood]

Mark S. Miller wrote:
> At
> http://lambda-the-ultimate.org/node/1625#comment-19906
> 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>