Cheap and cheerful partial evaluation

[Edward Z. Yang]

I think it would be a pretty interesting project. :^)

Edward

Excerpts from Ryan Newton's message of Wed Aug 24 15:18:48 -0400 2011:
> Ah, and there's no core->haskell facility presently?  Thanks.
> 
> On Wed, Aug 24, 2011 at 12:14 AM, Edward Z. Yang <ezyang at mit.edu> wrote:
> 
> > Since most of GHC's optimizations occur on core, not the user-friendly
> > frontend language, doing so would be probably be nontrivial (e.g.
> > we'd want some sort of core to Haskell decompiler.)
> >
> > Edward
> >
> > Excerpts from Ryan Newton's message of Tue Aug 23 13:46:45 -0400 2011:
> > > Edward,
> > >
> > > On first glance at your email I misunderstood you as asking about using
> > > GHC's optimizer as a source-to-source operation (using GHC as an
> > optimizer,
> > > retrieving "partially evaluated" Haskell code).  That's not what you were
> > > asking for -- but is it possible?
> > >
> > >   -Ryan
> > >
> > > P.S.   One compiler that comes to mind that exposes this kind of thing
> > > nicely is Chez Scheme ( http://scheme.com/ ).  In Chez you can get your
> > > hands on "cp0" which does a source to source transform (aka compiler pass
> > > zero, after macro expansion), and could use cp0 to preprocess the source
> > and
> > > then print it back out.
> > >
> > > On Mon, Aug 22, 2011 at 8:48 AM, Edward Z. Yang <ezyang at mit.edu> wrote:
> > >
> > > > I think this ticket sums it up very nicely!
> > > >
> > > > Cheers,
> > > > Edward
> > > >
> > > > Excerpts from Max Bolingbroke's message of Mon Aug 22 04:07:59 -0400
> > 2011:
> > > > > On 21 August 2011 19:20, Edward Z. Yang <ezyang at mit.edu> wrote:
> > > > > > And no sooner do I send this email do I realize we have 'inline'
> > > > built-in,
> > > > > > so I can probably experiment with this right now...
> > > > >
> > > > > You may be interested in my related ticket #5029:
> > > > > http://hackage.haskell.org/trac/ghc/ticket/5059
> > > > >
> > > > > I don't think this is totally implausible but you have to be very
> > > > > careful with recursive functions.
> > > > >
> > > > > Max
> > > >
> > > > _______________________________________________
> > > > Glasgow-haskell-users mailing list
> > > > Glasgow-haskell-users at haskell.org
> > > > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> > > >
> >