Is the do-operator something that is enabled by the dynamic computational graph?

If someone were to implement a PPL on a static computational graph, would the do-operator be possible?

everything is possible it’ll just entail different design choices/tradeoffs : )