Исправление quantum-troll, (текущая версия) :
Моды это вообще аннотации к предикатам. Фишка чисто логического программирования, к ФП не относится вообще никак.
Compile-time garbage collection for the declarative language Mercury (2004)
Compile-time garbage collection by sharing analysis (1989). Тема compile-time gc появилась куда раньше 2004 года.
Исходная версия quantum-troll, :
Моды это вообще аннотации к предикатам. Фишка чисто логического программирования, к ФП не относится вообще никак.
Compile-time garbage collection for the declarative language Mercury (2004)
Compile-time garbage collection by sharing analysis. Тема compile-time gc появилась куда раньше 2004 года.