|
-
Ключові слова:
програмування, программирование, programming ; теорія категорій, теория категорий ; формалізація, формализация
-
Анотація:
У роботі розглядаються підходи до програмної реалізації теоретико-категорних конструкцій. Проводиться порівняння відомих підходів до формалізації категорій в реальних задачах, що знайшли свою програмну реалізацію. Запропонована програмна реалізація теорії категорій на основі обчислювального підходу засобами параметризованого програмування.
This paper considers approaches to formalization of category theory. Known implementations of category theory in computer-oriented languages are compared. Implementation of categories based on computational approach and generic programming is presented.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 