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

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