functor oor Koreaans

functor

naamwoord

(grammar) a function word

Vertalings in die woordeboek Engels - Koreaans

펑터

A special type of mapping between categories.

함자

type of mapping between categories, which is applied in category theory

Soortgelyke frases

derived functor
유도 함자

exact functor
완전 함자

adjoint functor
수반 함자

diagonal functor
대각 사상

full and faithful functor
충실한 펑터와 충만한 펑터

representable functor
표현 가능 함자

voorbeelde

In Łukasiewicz's 1951 book, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, he mentions that the principle of his notation was to write the functors before the arguments to avoid brackets and that he had employed his notation in his logical papers since 1929.
1951년에 쓰여진 루카쉐비치의 책 Aristotle's Syllogistic from the Standpoint of Modern Formal Logic에서, 그는 그의 표기법의 원칙은 괄호를 피하기 위해 인자 앞에 함수적 술어를 쓰는 것이었으며, 1929년부터 그의 논리학 논문에서 그의 표기법을 사용해 왔다고 언급한다.

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

Functors [ edit ] The STL includes classes that overload the function call operator (operator () ).
함수자(functor) [ 편집 ] STL은 함수 호출 연산자 (operator () )를 오버로드 하는 클래스들을 포함한다.

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

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

This functor takes one argument, which is a module that provides (at least) two things: the type of elements, given as t and the comparison function given as compare .
이 펑터는 한 개의 인자를 받는데, 이 인자는 (최소한) 다음 두가지를 제공하는 모듈이다: t 로 지정하는 요소의 타입과 compare 로 지정되는 비교 함수이다.

Although having submodules may be useful in some cases, their real utility becomes apparent with functors.
비록 특정 경우에 서브모듈이 유용할 수 있지만, 진정한 효용은 functor와 함께할 때이다.

How to define a functor?
펑터는 어떻게 정의하나?

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.
함수자와 함수 포인터 모두 함수 호출의 문법을 사용해서 유발될 수 있기 때문에, 이것들은 상응하는 파라미터가 오직 함수 호출 문맥에서만 보일 때 인자로서 교체될 수 있다.

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인 배열에 대해서만 동작하는 배열 연산들의 콜렉션을 돌려주는 펑터를 정의할 수 있다.

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 상태를 함수와 함께 사용될 수 있게 유지한다.

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 프로그래머가 되기 위해 펑터를 광범위하게 써야할 필요는 없다.

There is even a runtime penalty, unless you use a defunctorizer such as ocamldefun, which requires access to the source code of the functor.
펑터의 소스 코드에 대한 접근이 가능해야 하는 ocamldefun과 같은 디펑터라이저 (defunctorizer)를 사용하지 않는 경우에도 런타임 에러의 가능성은 있다.

What is a functor and why do we need them?
펑터는 무엇이며 왜 필요한가?

Final remark: functors are made to help programmers write correct programs, not to improve performance.
마지막 주석: 펑터는 성능 향상이 아니라, 프로그래머가 정확한 프로그램을 작성하는 것을 돕기 위한 것이다.

This is the next section. Functors
다음 섹션으로 넘어가보자.

The standard library defines a Set module, which provides a Make functor.
표준 라이브러리는 Make 펑터를 제공하는 Set 를 정의한다.

Instances of such classes are called functors or function objects .
이러한 클래스들의 인스턴스들은 함수자 또는 함수 객체라고 불린다.

If by mistake the programmer passes a regular array to one of those functions, it will result in a compilation error. 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.
만일 프로그래머가 실수로 이러한 펑터에 (역주: 원문에는 function이라 되어 있지만 맥락상 펑터가 맞는 것으로 보임) 보통의 배열을 넘긴다면, 컴파일 에러가 날 것이다. 만일 우리가 펑터를 사용하지 않고 표준 배열 타입을 사용한다면, 컴파일러는 에러를 검지하지 못할 것이고, 훨씬 더 나쁜 결과로 런타임 에러를 야기할 것이다.