Basically, a spreadsheet, but generalized for any computation
http://www.cse.ogi.edu/~magnus/Adaptive/<http://www.cse.ogi.edu/%7Emagnus/Adaptive/>
Thanks, this is exactly what I was looking for!
http://www.haskell.org/frp/
Cool, this is probably what I'm attempting to reinvent. :)
http://www.cs.york.ac.uk/fp/darcs/proplang/ What it does lack is much documentation :)
If I understand what I'm looking at, seems like PropLang could benefit from Magnus's technique.
http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html
Here's a before and after shot of my head: Before: "head" After: " h e a d" See how it exploded? :)
Sebastian says: Off the top of my head... when ( newVals /= vals ) retry -- at least one input must've been changed you simply recompute the new value from the inputs
Neat idea. I'm not sure if it's quite what I'm looking for, but I like the simplicity of it. Thanks all for your help! Greg
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
