Comment by crsn

This (sort of) is already a paradigm: https://en.m.wikipedia.org/wiki/Probabilistic_programming