On Thu, 2004-07-15 at 03:45, John Sharley wrote:
Noting Hudak's remark in the conclusion of Modular Domain Specific
Languages and Tools
http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Papers/dsel-hudak.ps
that Haskell lacked an effective partial evaluator, and remarks prior to
but
on
| My current prototype uses GHC and Template Haskell. It can only
| specialise functions that manipulate first order values. It does work
| for a number of simple examples eg Ackerman function (specialised on
| first argument), matrix multiplication (specialising on fixed size
| matrices), a
On Thu, 2004-07-15 at 08:57, Simon Peyton-Jones wrote:
| My current prototype uses GHC and Template Haskell. It can only
| specialise functions that manipulate first order values. It does work
| for a number of simple examples eg Ackerman function (specialised on
| first argument), matrix
Noting Hudak's remark in the conclusion of Modular Domain Specific
Languages and Tools
http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Papers/dsel-hudak.ps
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
On Thu, 2004-07-15 at 03:45, John Sharley wrote:
Noting Hudak's remark in the conclusion of Modular Domain Specific
Languages and Tools
http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/Papers/dsel-hudak.ps
that Haskell lacked an effective partial evaluator, and remarks prior to but
on the