Design and Implementation of Probabilistic Programming Language Anglican
Autor: | Hongseok Yang, Jan-Willem van de Meent, Frank Wood, David Tolpin |
---|---|
Rok vydání: | 2016 |
Předmět: |
FOS: Computer and information sciences
Theoretical computer science Computer Science - Programming Languages Computer science Functional logic programming Programming language 020207 software engineering 02 engineering and technology computer.software_genre Programming language implementation Very high-level programming language Clojure 0202 electrical engineering electronic engineering information engineering Programming paradigm 020201 artificial intelligence & image processing Probabilistic programming language First-generation programming language computer computer.programming_language Programming language theory Programming Languages (cs.PL) |
Zdroj: | IFL |
DOI: | 10.48550/arxiv.1608.05263 |
Popis: | 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. We show that a probabilistic functional language can be implemented efficiently and integrated tightly with a conventional functional language with only moderate computational overhead. We also demonstrate how advanced probabilistic modeling concepts are mapped naturally to the functional foundation. Comment: IFL 2016 submission, 12 pages, 2 figures |
Databáze: | OpenAIRE |
Externí odkaz: |