func·tor
C2technical수학·컴퓨터 과학·언어학에서 쓰이는 전문 용어로, 대체로 ‘함수처럼 작용하는 것’ 또는 ‘함자’를 뜻함
noun명사
- 1
함자, 펑터 — 범주론에서, 한 범주의 대상과 사상을 다른 범주의 대상과 사상으로 대응시키면서 항등사상과 합성을 보존하는 대응C2〔mathematics〕
In category theory, a mapping between categories that sends objects and morphisms to objects and morphisms while preserving identities and composition.
The forgetful functor sends each group to its underlying set.
망각 함자는 각 군을 그 바탕 집합으로 보낸다.
A functor must preserve composition, not just map objects.
함자는 대상만 대응시키는 것이 아니라 합성도 보존해야 한다.
- 2
함수 객체, 펑터 — 프로그래밍에서, 함수처럼 호출될 수 있는 객체C2〔computing〕
In programming, especially in C++, an object that can be called like a function.
The comparator is implemented as a functor with an overloaded call operator.
그 비교기는 호출 연산자를 오버로드한 펑터로 구현되어 있다.
A functor can store state while behaving like a function.
펑터는 함수처럼 동작하면서도 상태를 저장할 수 있다.
- 3
펑터, 함수자 — 함수형 프로그래밍에서, 내부 값에 함수를 적용하는 map 연산을 제공하고 특정 법칙을 만족하는 타입 생성자C2〔computing〕
In functional programming, a type constructor that supports a mapping operation over contained values and satisfies the functor laws.
In Haskell, Maybe is a functor because you can map over its value.
하스켈에서 Maybe는 내부 값에 map을 적용할 수 있으므로 펑터이다.
A valid functor should obey the identity and composition laws.
올바른 펑터는 항등 법칙과 합성 법칙을 따라야 한다.
- 4
기능어 — 언어학에서, 주로 문법적 기능을 나타내고 독립적인 어휘 의미가 약한 단어C2〔linguistics〕
In linguistics, a word that chiefly expresses a grammatical function rather than rich lexical meaning.
Articles and prepositions are often analyzed as functors in grammar.
관사와 전치사는 문법에서 흔히 기능어로 분석된다.
The child omitted several functors, such as the and of.
그 아이는 the와 of 같은 기능어 몇 개를 빠뜨렸다.
뉘앙스 · 쓰임
수학의 functor는 단순한 function보다 훨씬 추상적인 개념으로, 집합의 원소가 아니라 범주의 대상과 사상을 함께 대응시킨다. 프로그래밍의 functor는 언어와 분야에 따라 ‘함수 객체’ 또는 ‘map이 가능한 타입 생성자’라는 뜻으로 달라질 수 있으므로 문맥이 중요하다. 언어학에서는 function word와 거의 같은 뜻으로 쓰이나, 더 전문적인 용어이다.
전문 용어이므로 일반 대화에서는 거의 쓰이지 않는다. 한국어 수학 문헌에서는 보통 ‘함자’라고 번역하고, 프로그래밍 문맥에서는 ‘펑터’ 또는 ‘함수자’라고도 한다. 컴퓨터 과학에서는 C++ 문맥인지 함수형 프로그래밍 문맥인지에 따라 의미가 다를 수 있다.
유의어 뉘앙스 비교
- structure-preserving map
- 설명적인 표현으로, 엄밀한 전문 용어인 functor를 풀어 쓴 말이다.
- function object
- C++ 등에서 같은 의미로 더 설명적으로 쓰이는 표현이다.
- callable object
- 함수처럼 호출 가능한 객체를 넓게 가리키며, functor보다 범위가 넓을 수 있다.
- mappable type constructor
- 정식 용어라기보다 의미를 설명하는 표현이다.
- function word
- 언어학과 문법에서 더 흔히 쓰이는 표현이다.
반의어
- content word
- 명사·동사·형용사처럼 구체적인 어휘 의미를 주로 담는 단어를 가리킨다.
자주 쓰는 표현 · Collocations
adj+noun
- forgetful functor망각 함자
- covariant functor공변 함자
- contravariant functor반변 함자
noun+noun
- functor category함자 범주
- functor laws펑터 법칙
verb+noun
- define a functor함자를 정의하다
- implement a functor펑터를 구현하다
어원 · 암기 팁
[English]영어 function에 행위자나 관련 대상을 나타내는 접미사 -or가 붙어 만들어진 전문 용어이다.
function ‘기능, 함수’ + -or ‘~하는 것, ~와 관련된 것’
💡 function과 비슷하게 생겼으므로 ‘함수처럼 작용하거나 기능을 담당하는 것’이라고 기억하면 도움이 된다.