On 22/04/2013, at 12:23 , "Edward Z. Yang" <ezy...@mit.edu> wrote:

>> I've got a solution for this problem and it will form the basis of
>> Repa 4, which I'm hoping to finish a paper about for  the upcoming
>> Haskell Symposium.
> 
> Sounds great! You should forward me a preprint when you have something
> in presentable shape. I suppose before then, I should look at 
> repa-head/repa-stream
> to figure out what the details are?

The basic approach is already described in:

Automatic Transformation of Series Expressions into Loops
Richard Waters, TOPLAS 1991

The Anatomy of a Loop
Olin Shivers, ICFP 2005


The contribution of the HS paper is planning to be:
 1) How to extend the approach to the combinators we need for DPH
 2) How to package it nicely into a Haskell library.

I'm still working on the above...

Ben.


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to