Code
Church_examples (RTF) contains the code examples described in the two-part tutorial video. These examples can be executed by copying the code into one of the following Church programming environments. Code can also be written from scratch and modified in these environments:
- First edition of the Probabilistic Models of Cognition electronic text, cited in the section below on Future Study , which includes a separate Play space where code can be copied, modified, and executed
- webchurch engine that runs Church code in a web browser, which is available on GitHub for download onto your local computer
Further Study
Goodman, N. D., and J. B. Tenenbaum. Probabilistic Models of Cognition, First Edition (electronic).
- This interactive text introduces many probabilistic modeling techniques and contains an embedded Church programming environment with coding examples throughout the text that can be modified and executed in place. The text also includes a separate Play space and Church language reference.
Goodman, N. D, and J. B. Tenenbaum. Probabilistic Models of Cognition, Second Edition (electronic). With programming exercises written in the web-based probabilistic programming language, WebPPL.
Goodman, N. D., and A. Stuhlmüller. The Design and Implementation of Probabilistic Programming Languages . (electronic)
- This online text describes how probablistic programming languages (PPLs) can be embedded in other languages, and introduces the WebPPL language, a web-based PPL embedded in JavaScript.
forestdb.org: A repository of probabilistic models implemented in the Church language
The Church language is one of several probabilistic programming languages. Learn more about such languages at the Probabilistic-Programming wiki.