Design and Implementation of Probabilistic Programming Language Anglican
David Tolpin, Jan-Willem van de Meent, Hongseok Yang, Frank Wood · 2016
Anglican is a probabilistic programming system designed to interoperate with Clojure and other JVM languages. We introduce the programming language Anglican, outline our design choices, and discuss in depth the implementation of the Anglican language and runtime, including macro-based compilation, extended CPS-based evaluation model, and functional representations for probabilistic paradigms, such as a distribution, a random process, and an inference algorithm.