On: From automatic differentiation to message passing ...

[carapace]

It seems to me that the message-passing aspect is kind of an implementation detail.

In any case, compare and contrast with "Compiling to categories" http://conal.net/papers/compiling-to-categories/