Church (programming language): Difference between revisions

Revision as of 16:12, 21 January 2014

Latest revision as of 01:11, 22 April 2024

(9 intermediate revisions by 9 users not shown)

Line 1:

'''Church''' refers to both a family of [[LISP]]-like ''[[probabilistic programming]] languagelanguages''<ref>{{cite web | url=http://probabilistic-programming.org | title=Probabilistic Programming wiki | access-date=2020-07-22 | archive-url=https://web.archive.org/web/20081118165403/http://probabilistic-programming.org/ | archive-date=2008-11-18 | url-status=dead }}</ref> for specifying arbitrarilyarbitrary [[probabilistic]] [[Computer program|programs]], as well as a set of [[algorithms]] for performing probabilistic [[inference]] in the [[generative model]]s those programs define.<ref>{{cite web | url=http://projects.csail.mit.edu/church/wiki/Church | title=MIT Church wiki | publisher=csail.mit.edu}}</ref> Church was originally developed at [[MIT]], primarily in the computational cognitive science group, run by [[Joshua Tenenbaum]].<ref>

{{cite journal | last1 = Goodman | first1=Noah

| last2=Mansinghka | first2=Vikash

Line 8:

| year = 2008

| title=Church: a language for generative models

| url = https://web.stanford.edu/~ngoodman/papers/churchUAI08_rev2.pdf

}}

</ref> Several different inference algorithms and concrete languages are in existence, including Bher, MIT-Church, Cosh, Venture, and VentureAnglican.

==References==

Line 16 ⟶ 17:

[[Category:Nondeterministic programming languages]]

[[Category:Probabilistic software]]

{{Compu-lang-stub}}