Der Begriff "Funktor" hat mehrere gemeinsame Bedeutungen: 1. Funktionsobjekt. In objektorientierten Sprachen ist dies eine Funktion, mit der Objekte so verwendet werden können, als wären sie normale Funktionen. 2. Eine mathematische Struktur, die sich mit Zuordnungen zwischen Kategorien befasst. Dieses Konzept ist eine nützliche Abstraktion in einigen Programmiersprachen, insbesondere in Haskell, wo es als Typklasse implementiert ist. 3. In OCaml ein Modul, das ein anderes Modul als Argument verwendet.