Функтор (значения)

Функтор, в математике, это отображение между категориями.

Функтор может также относиться к:

• Функтор предиката в логике, основная концепция логики функтора предиката
• Функциональное слово в лингвистике
• В компьютерном программировании:
  • Функтор (функциональное программирование)
  • Функциональный объект, используемый для передачи указателей на функции вместе с информацией о состоянии
  • для использования термина на языке Пролог, см. Синтаксис и семантика Пролога.
  • В OCaml и Standard ML функтор - это модуль более высокого порядка (модуль, параметризованный одним или несколькими другими модулями), часто используемый для определения безопасных по типу абстрактных алгоритмов и структур данных.

• Функция (значения)

На этой странице разрешения неоднозначности перечислены статьи, связанные с названием Functor. Если внутренняя ссылка привела вас сюда, вы можете изменить ссылку, чтобы она указывала прямо на предполагаемую статью.