What is the translation of " FUNCTOR " in Korean?

• 펑터
• 함자
• functor

Examples of using Functor in English and their translations into Korean

Picard functor.
피카드 군.

Ext functor Functor category Representable functor.
Ext 함자 함자 범주 표현 가능 함자.

Picard functor.
피카르 군.

The functor Hom(-, B) is also called the functor of points of the object B.
함자 은 대상 B {\displaystyle B} 의 점 함자라고도 한다.

Derived functor.
유도 펑터.

They introduced the terms functor and natural isomorphism and, in 1945, added the terms category and natural transformation.
그들은 약관 functor 자연 isomorphism을 도입, 1945 년 약관 카테고리의 자연 변화했다.

Derived functor.
도출 펑터.

The point of the functor is to ensure that the same comparison function will always be used, even if the programmer makes a mistake.
펑터의 요체는 동일한 비교 함수가 항상 사용되는 것을 보증해 주는 것이다. 프로그래머가 실수를 하는 경우에도.

Derived functor.
유도 함자.

For example, we can define a functor that takes an int n and returns a collection of array operations that work exclusively on arrays of length n.
예를들어 우리는 int n을 받아, 길이가 n인 배열에 대해서만 동작하는 배열 연산들의 콜렉션을 돌려주는 펑터를 정의할 수 있다.

Adjoint functors.
수반함자.

Functors are probably one of the most complex features of OCaml, but you don't have to use them extensively to be a successful OCaml programmer.
펑터는 아마 Ocaml의 기능 중 가장 복잡한 것일 테지만, 성공적인 OCaml 프로그래머가 되기 위해 펑터를 광범위하게 써야할 필요는 없다.

Derived functors.
유도 펑터.

If we were not using this functor but the standard array type, the compiler would not be able to detect the error, and we would get a runtime error at some undetermined date in the future, which is much worse.
만일 우리가 펑터를 사용하지 않고 표준 배열 타입을 사용한다면, 컴파일러는 에러를 검지하지 못할 것이고, 훨씬 더 나쁜 결과로 런타임 에러를 야기할 것이다.

Derived functors.
도출 펑터.

Since both functors and function pointers can be invoked using the syntax of a function call, they are interchangeable as arguments to templates when the corresponding parameter only appears in function call contexts.
함수자와 함수 포인터 모두 함수 호출의 문법을 사용해서 유발될 수 있기 때문에, 이것들은 상응하는 파라미터가 오직 함수 호출 문맥에서만 보일 때 인자로서 교체될 수 있다.

Derived functors.
유도 함자.

Functors allow the behavior of the associated function to be parameterized(e.g. through arguments passed to the functor's constructor) and can be used to keep associated per-functor state information along with the function.
함수자들은 연관된 함수가 파라미터화되는 행동을 허용하고 (예를 들면 함수자의 생성자 로 넘겨지는 인자를 통해서) 연관된 per-functor 상태를 함수와 함께 사용될 수 있게 유지한다.

Adjoint functors.
수반 펑터.

Right derived functor.
유도 펑터.

Actually, you may never have to define a functor yourself, but you will surely encounter them in the standard library.
사실, 아마도 펑터를 직접 정의할 일이 결코 없을테지만, 표준 라이브러리에서 펑터를 분명히 보게 될 것이다.

Right derived functor.
도출 펑터.

I would say that Rich Hickey's template functor callback approach is slightly better than C++11's lambda functions.
리치 히키의 템플릿 펑터 콜백 접근 방식은 C ++ 11의 람다 함수 (callback 예제 함수 c++)보다 약간 낫습니다.

Right derived functor.
유도 함자.

The three major logical systems which Lesniewski developed were: Protothetic, a theory of propositions and propositional functors, similar in power to a theory of propositional types, providing an extended propositional calculus with quantified functional variables;
이는 개발 Lesniewski 3 대 논리 시스템 Protothetic, 제안 및 propositional functors, 전력 propositional 유형의 이론에 비슷한 이론, 계량 기능을 변수로 확장 propositional 미적분을 제공했다:;

Fully faithful functor.
충실한 펑터.

I'll let Rich explain from his article:"I must come clean at this point, and point out that the syntax above for makeFunctor() is possible only in the proposed language, because it requires template members(specifically, the Functor constructors would have to be templates).
나는 리치가 자신의 기사에서 설명 할 수 있습니다: «나는이 시점에서 깨끗하게와야하며, makeFunctor ()에 대한 위의 구문은 템플릿 멤버가 필요하기 때문에 제안 된 언어로만 가능하다는 것을 지적합니다 (특히 Functor 생성자는 템플릿)을 참조하십시오.

Fully faithful functor.
충실한 함자.

Faithful functor.
충실한 펑터.

Fully faithful functor.
충실충만한 함자.