Ryan Newton
Ryan Newton
Not to keep mentioning Wavescope, but I had a similar problem a lot there. Recursive functions were part of the meta-language but not the object language. So if you wanted...
Yes, I'm very happy with it! https://www.google.com/fusiontables/DataSource?docid=1fQAP5DwbPOnf91ZxuMEnOXoIdCmIHjb-qFb2sh8
So in systems (like Accelerate or Wavescript) that use metaprogramming, usually the object language lacks abstraction and is instead just a graph of kernels (processing streams or arrays). In that...
Hmm, but unlike lambdas let's don't hide data flow. A typical constant-prop pass or whatever would maintain an environment as it descends the AST, and the same should work here,...
Ok, sounds good! We will sign a pledge to use posets in any future papers in this area ;-).
working on this one now, and then number 6
The objection is fair and a good observation. Actually, just IVars get you pretty close to KPN. Cons-lists with IVar tail pointers allow multiple blocking readers, and also ensure the...
How about all the small copy edits that were listed in the reviews. Are those done already?
Going to `Generate` definitely loses information wrt optimization, right? If the AST in the future supports "thinning" at some point, why not leave `zipWith` in for early optimization passes and...
I personally feel like the intersection semantics of zip in the Prelude is just a source of silent failures / bugs, with the exception of the specific idiom of `zip...