Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation

We describe a general method of transforming arbitrary programming languages into probabilistic programming languages with straightforward MCMC inference engines. Random choices in the program are