Probabilistic programming might interest you.

e.g. http://arxiv.org/abs/1507.00996