Mon Apr 22 08:22:31 EDT 2019
Primtives with multiple return values
I think I miss this feature to be able to abstract a loop as something
that returns a set of arrays and a set of accumulators.
Implementing the loop body is easy: it just contains nodes that are
parameterized by the current loop count.
The idea is to extend the node type to also express array references.
This should work as well.
Basically a loop is a siso applied to an array.
Where to introduce the recursion?
It should be something like SeqLoop?