[MLton] HOL's Moscow ML implementation, and pushing MLton to
Daniel C. Wang
Thu, 07 Apr 2005 14:20:28 -0400
Stephen Weeks wrote:
> A while ago, I read Nick Benton's paper
> (http://mlton.org/References#Benton05) and really liked it, but if I
> recall correctly, its solution to the problem involved coercions.
> These are slow because they take time proportional to the size to the
> data structure being coerced. Plus, there are difficulties with
> sharing (I don't remember if the paper adequately addressed those).
Here's a paper that does to some extend :)
The basic idea is to use the partial unboxing techqiues that Shao describes
for compiling polymorphic data-structures...
Basically, you lazily coerce the "head" of the data structure into a
universal rep as you need to traverse...
I think many of the compliation boxing/unboxing tricks for compiling ML
style polymorophim efficently into uniform machine representations can be
used for the interpreter problem. It is in fact the same problem.