Nice to see a sneaking suspicion of my validated. As he goes through the talk, he starts to add a keep alive object, then control flow nodes, then memory nodes that keep orderedness… but it started to look like more and more of the graph was just a linked list.
The speaker is writing his own language, so I’m sure his language design is in dialog with his compiler design which sands off some of those rough edges.