Embedded domain-specific languages for probabilistic programming Introduction Hansei: Embedded probabilistic DSL with discrete distributions, importance sampling, nested inference Hakaru10: Embedded probabilistic DSL with discrete and continuous distributions, MCMC (MH) sampling Problems of the Lightweight Implementation of Probabilistic Programming Metropolis-Hastings for Mixtures of Conditional