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?