PLT Redex definition of STG as per fast curry paper

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

PLT Redex definition of STG as per fast curry paper

Edward Z. Yang
For those of you who aren't following the commit list, I've just pushed
a PLT Redex <http://redex.racket-lang.org/> definition for an STG-like
language as was defined in the fast curry paper.  This language is *not*
STG.  The hope is that this will be a good starting point for actually
formalizing STG as it exists today.  I've included a hefty comment block
at the top of the development summarizing ways in which this could be
improved.  Take a look if you're interested!

Cheers,
Edward

Reply | Threaded
Open this post in threaded view
|

PLT Redex definition of STG as per fast curry paper

Carter Schonwald
Very cool! Thanks for sharing!


On Wed, Jan 15, 2014 at 4:34 PM, Edward Z. Yang <ezyang at mit.edu> wrote:

> For those of you who aren't following the commit list, I've just pushed
> a PLT Redex <http://redex.racket-lang.org/> definition for an STG-like
> language as was defined in the fast curry paper.  This language is *not*
> STG.  The hope is that this will be a good starting point for actually
> formalizing STG as it exists today.  I've included a hefty comment block
> at the top of the development summarizing ways in which this could be
> improved.  Take a look if you're interested!
>
> Cheers,
> Edward
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140115/192f1d2d/attachment.html>

Reply | Threaded
Open this post in threaded view
|

PLT Redex definition of STG as per fast curry paper

Edward Kmett-2
In reply to this post by Edward Z. Yang
Neat!

I wish we'd had this a couple of years ago when Dylan Lukes was playing
around with his STG-like toy.

-Edward


On Wed, Jan 15, 2014 at 4:34 PM, Edward Z. Yang <ezyang at mit.edu> wrote:

> For those of you who aren't following the commit list, I've just pushed
> a PLT Redex <http://redex.racket-lang.org/> definition for an STG-like
> language as was defined in the fast curry paper.  This language is *not*
> STG.  The hope is that this will be a good starting point for actually
> formalizing STG as it exists today.  I've included a hefty comment block
> at the top of the development summarizing ways in which this could be
> improved.  Take a look if you're interested!
>
> Cheers,
> Edward
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140115/a5e40e91/attachment.html>