Языки программирования

Проект "Прогопедия" — свободная энциклопедия языков программирования.
сайт http://progopedia.ru/  | http://progopedia.com/ (англ.)

Все тексты доступны на условиях свободной лицензии GNU Free Documentation License.

Progopedia, the free encyclopedia of programming languages.
Progopedia is a free (GNU Free Documentation License) web-based encyclopedia of programming languages.

wikipedia.org
■ List of programming language researchers (incomplete)
List of researchers of programming language theory, design, implementation, and related areas.

■ Researchers in Programming Languages and Compilers
■ Resources for programming language research
Links to home pages of researchers working on programming language theory, design, implementation, and related areas.

Различные способы классификации языков программирования
 
Парадигма программирования — это комплекс концепций, принципов и абстракций, определяющих фундаментальный стиль программирования, например:
■ Императивная парадигма программирования описывает процесс вычислений посредством описания управляющей логики программы, т.е. в виде последовательности отдельных команд, которые должен выполнить компьютер. Каждая команда является инструкцией, изменяющей состояние программы. Программа, написанная в императивном стиле, похожа на набор приказов, выражаемых повелительным наклонением в естественных языках.
■ Декларативная парадигма программирование (включающая в себя функциональное программирование и логическое программирование) - такой стиль программирования, при использовании которого в программах описывается способ решения поставленной задачи, а не предписываются шаги для получения результата.

Список парадигм программирования

Смотри также:
Языки вероятностного программирования /Probabilistic Programming Llanguages
http://probabilistic-programming.org/wiki/Home
Данный сайт, разработчиком которого является Дэниэл Рой (Daniel Roy, Department of Computer and Mathematical Sciences, University of Toronto Scarborough, Canada), служит хранилищем ссылок и информации о языках вероятностного программирования.
This website serves as a repository of links and information about Probabilistic Programming Languages, including both academic research spanning theory, algorithms, modeling, and systems, as well as implementations, evaluations, and applications. The site is still under construction.

Existing probabilistic programming systems
Collection of research articles on probabilistic programming.
The probabilistic-programming mailing list hosted at CSAIL/MIT

Tutorials and Books

The Design and Implementation of Probabilistic Programming Languages
An introduction to PPLs and lightweight implementation techniques for sequential Monte Carlo and Metropolis-Hastings. Uses WebPPL.

Probabilistic Models of Cognition Tutorial
A Web-based book using Church to introduce probabilistic Cognitive Science and AI.

Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
Freer, Roy, and Tenenbaum relate Turing's legacy to probabilistic programming approaches in Artificial Intelligence in this book chapter, appearing in a volume edited by Rod Downey, entitled Turing's Legacy and being published by Cambridge University Press in their ASL Lecture Notes in Logic series.

Practical Probabilistic Programming
This book provides an introduction to probabilistic programming focusing on practical examples and applications. No prior experience in machine learning or probabilistic reasoning is required. The book uses Figaro to present the examples but the principles are applicable to many probabilistic programming systems.