Probabilistic programming is a recent and extremely dynamic field of research which lies at the intersection of statistical machine learning and programming language theory. Probabilistic programming ...