Lưu ý: Bản dịch của mục này hiện đang được kiểm tra chất lượng, vì vậy một số nội dung tạm thời chỉ hiển thị bằng tiếng Anh.
Mục từ này chưa được dịch sang ngôn ngữ của bạn, vì vậy nội dung gốc được hiển thị bên dưới.
functor
This term is a highly specialized technical expression used almost exclusively within the domains of mathematics and theoretical computer science. In category theory, it describes a structural mapping that preserves the essence of a category, while in functional programming, it refers to a type constructor that allows for the application of a function to a wrapped value without altering the structure of the container.
Because it is a technical term of art, it lacks a casual or metaphorical equivalent in general English. It is typically used in formal academic papers, technical documentation, or discussions regarding type theory and abstract algebra.
Ý nghĩa
Ví dụ
Does this specific typeclass qualify as a functor in your implementation?
I need to understand how a contravariant functor differs from a covariant one.
I need to understand how a contravariant functor differs from a covariant one.
The professor explained that every monad is also a functor.
Maybe I should use a functor here to transform the wrapped value without unpacking it.
The identity functor maps every object and morphism to itself.
We can define a functor that translates the logic from one category to another.
Is the Option type considered a functor in this language?
The mapping properties of the functor ensure that the structure remains intact.