Pyro is pretty wonky too. Something like Gen, which is still a big research project, has a lot of hope for the sort of universal behaviour you're describing. I

Pyro is pretty wonky too. Something like Gen, which is still a big research project, has a lot of hope for the sort of universal behaviour you're describing. In practice, so many ordinary programs in ordinary languages use heap-allocated lists with runtime-specified lifetimes as intermediate values and return values. That sounds wonky, but I'm saying there's a lot of "businessLogic(X) -> variable length, nondeterministic on X length List of Y" functions, which is ill suited for PPL modeling. On the other hand, neural networks, which really work on binary images of inputs and outputs, handle those situations surprisingly well. That's what you're really competing with.