Although in conventional languages with control flow, we're more used to how they're done, both branching and looping can be done straightforwardly in dataflow

Although in conventional languages with control flow, we're more used to how they're done, both branching and looping can be done straightforwardly in dataflow without introducing any non-dataflow constructs - just graphs with vertices connected by edges. Branching: http://www.fmjlang.co.uk/fmj/tutorials/Conditional.html http://www.fmjlang.co.uk/fmj/tutorials/Conditional.html Looping: http://www.fmjlang.co.uk/fmj/tutorials/Iteration.html http://www.fmjlang.co.uk/fmj/tutorials/Iteration.html Emit and collect: http://www.fmjlang.co.uk/fmj/tutorials/Macros.html http://www.fmjlang.co.uk/fmj/tutorials/Macros.html These show the basic idea. There are many other examples throughout the tutorials (http://www.fmjlang.co.uk/fmj/tutorials/TOC.html http://www.fmjlang.co.uk/fmj/tutorials/TOC.html). BTW, in case anyone's wondering why there have been no recent updates to the pages on my visual dataflow language, it's because the many improvements I've been making, particularly big changes to the type system, have required a lot more work than I expected. I haven't abandoned work on it, but it will still be some time before it's ready for release.