Church

Материал из Поле цифровой дидактики


Краткое описание языка Church относится к семейству LISP-подобных вероятностных языков программирования для определения произвольных вероятностных программ, так и к ряду алгоритмов для выполнения вероятностного вывода в порождающих моделях, которые определяют эти программы.
Компетенции в каких сферах формирует
Парадигмы программирования Функциональное программирование
Возрастная категория 15
Назначение языка (Общее / Учебное) Специальный прикладной язык
Visual_Text_Blocks
Измерение (2D/3D/Tangible) 2D
Область знаний
Открытость продукта Открытый
Address
Предки (Ancestors) Lisp, Scheme
Потомки (Descendants)
Активность в данный момент Project is active
Доступны ремиксы? Нет
Год создания 2007
Создатели
Поясняющее видео
Используется для создания мобильных приложений? Нет


Church упоминается в свойствах следующих страниц
Вероятностное программирование


Church был первоначально разработан в Массачусетском технологическом институте, в первую очередь в группе по вычислительной когнитивной науке, управляемой Джошуа Тененбаумом. Существует несколько различных алгоритмов вывода и конкретных языков, в том числе Bher, MIT-Church, Cosh, Venture и Anglican.