Практическая работа №5-7 - Семинар "Особые парадигмы программирования"
1. Конкуренция по умолчанию. Реализация в ANI, Plaid и ÆMINIUM.
2. Языки с зависимыми типами. Реализация в Idris, Agda, Coq.
3. Декларативное программирование. Реализация в Prolog, SQL.
4. Символическое программирование. Реализация в Aurora
5. Программирование, основанное на знаниях. Реализация в Wolfram.
6. Языково-ориентированное программирование
7. Программирование, управляемое данными
8. Квантовое программирование
9. Автоматное программирование

Электронная почта для отправки материалов: paradigm@0861.ru