Pyro programming language http://pyro.ai/
The basic unit of probabilistic programs is the stochastic function.
Deep generative modeling library Pyro in the tutorial