[throwaway_2047]

Isn't programming itself inherently consist of "graph"? We convert everything into AST after all.

The use of abstract concept like currying, recursion, map reduce is to have vocabulary express our thought IMO. Turning into graph is like coding imperatively - hard to grasp from quick glance. Code is more frequently read than written

[TeMPOraL]

ASTs are, as the name suggests, trees. There are useful concepts you can't express directly in source code of most programming languages. For example, while you can express a function reducing results of other functions directly:

  f(a(), b())

you generally can't do the reverse. Not directly. Best you can do it:

  foo = f()
  a(foo)
  b(foo)

where you create a runtime indirection, or - in a language with reader macros, like Common Lisp:

  (a #1=(f) #1#)

where #1= lets you reference an AST node, and #1# lets you backlink to it. Unfortunately, that code will cause (f) to be called twice.

The article is effectively exploring a way to combine these two methods - to have the code denote a DAG directly (or even cheat a little and denote a graph with cycles), where the runtime representation is also a graph, and not a tree.

Myself, I'm strongly hoping there will be more work done in that direction, because being forced to talk in trees is very limiting. Some problems would be much easier to express as DAGs (or even cyclic graphs), and would even be easier to read them as such.

I worry that what's keeping us working with trees is the nature of plaintext itself. I haven't proven it, or seen it proven, but I strongly suspect that there is no minimal, direct representation of a DAG possible in plaintext - you can't move past a tree without assigning labels for backreferences.

[yvdriess]

SISAL was a language that parsed to a dataflow intermediate representation (IF1). IF1 would then be compiled to native instructions for either a regular (e.g. Cray) or dataflow architecture processor.

IIRC, function composition with multiple return values is sufficient to transform to IF1's 'function with named ports' representation.

https://en.wikipedia.org/wiki/SISAL

[chrisseaton]

I wrote a blog post about this https://shopify.engineering/understanding-programs-using-gra....

[duped]

A closer model is a Control Flow Graph (CFG): https://en.wikipedia.org/wiki/Control-flow_graph

[agumonkey]

also a lot of loops look like combinatorics and graphs to me these days