"Abram Clark" <[EMAIL PROTECTED]> wrote:
Perhaps this is a silly question, but is there any
possibility that support for quoting Alice expressions will
be added? By "quoting expressions" I am referring to what is
achieved in Intel's reFLect ML language. It is described in
this paper:
http://www.comlab.ox.ac.uk/tom.melham/pub/Grundy-2006-RFL.pdf
Is this a reasonable thing for Alice to do?
I haven't read the paper in detail, but I would believe that staged
computation in that form would not be entirely straightforward to add to
Alice. In particular, it seems to make some fundamental extensions to the
type system, and that is quite involved in Alice ML already. It does not
seem to be a very good fit for Alice ML's compilation model either.
Given that you already have relatively expressive features for runtime
compilation in Alice it hence is not a direction I currently see us actively
pursuing. That does not mean that it wouldn't be interesting, but somebody
else had to invest the time to think about it or implement it. ;-)
Cheers,
- Andreas
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
