effective partial evaluator yet?

John Sharley john.sharley at pobox.com
Wed Jul 14 22:45:05 EDT 2004

Noting Hudak's remark in the conclusion of "Modular Domain Specific
Languages and Tools"
that Haskell lacked an effective partial evaluator, and remarks prior to but
on the same page as the conclusion that such a thing is very important for
DSELs, is there an effective partial evaluator for Haskell yet?

If not, what are the prospects (both theoretical and practical) for having
an effective partial evaluator for Haskell and GHC in particular?

More information about the Glasgow-haskell-users mailing list