теория категорий, базы данных, функциональное программирование, инструментальные информационные системы, иерархические структуры