You have good comments. << To be sure, that won't work as easily for variable sized collections In another response here I discuss the problems with iteration

You have good comments. << To be sure, that won't work as easily for variable sized collections In another response here I discuss the problems with iterations and notions of algebraic closure. Your remarks about 'variable sized collections' are exactly the sorts of problems that arise when your data flow language can't/doesn't directly represent all the elements of computation. When that happens, things either 'leak out' of the data flow diagram, or they remain locked inside impenetrable abstractions. Both of these problems broadly underline a lot of the complaints that programmers have about visual programming tools/languages. Stated simply, the complaints are: "I can't declare a loop/recursion in this visual programming language. This sucks!" Or: "Implementing loops in visual programming sucks because I can implement the loop/recursion, but there's no debugger/stack so I can't inspect the loop/recursion at a particular iteration step/stack frame. This sucks!"