FUNCTOR in Vietnamese translation

• functor
• hàm tử

Examples of using Functor in English and their translations into Vietnamese

A functor is any type construction T for which there exists a higher-order function, call it map, that transforms a function of type a-> b(given any two types a
A functor là bất kỳ loại xây dựng nào T mà tồn tại một hàm bậc cao hơn,

Constant functor: The functor C→ D which maps every object of C to a fixed object X in D and every morphism in C to the identity morphism on X. Such a functor is called a constant or selection functor..
Hàm tử hằng: Một hàm tử C → D gửi mọi đối tượng của C đến một đối tượng X cố định của D và gửi mọi cấu xạ của C cấu xạ đồng nhất trên X được gọi là hàm tử hằng.

For example, a type constructor called List is a functor if it comes equipped with a function of type(a-> b)-> List a-> List b which obeys the laws above.
Ví dụ: một hàm tạo kiểu được gọi là List là một functor nếu nó được trang bị chức năng kiểu( a-> b)-> List a-> List b tuân thủ luật pháp ở trên.

D be(locally small) categories and let F: C→ D be a functor from C to D. The functor F induces a function.
C → D là một hàm tử từ C vào D. Hàm tử F cảm sinh một ánh xạ.

you'll see that there's a Functor class constraint, which means that we can assume that both of<*>'s parameters are functors..
có một ràng buộc lớp Functor, có nghĩa là ta có thể giả sử rằng cả hai tham số của<*> đều là functor..

we can map functions that take these functions as parameters over them, because whatever is inside a functor will be given to the function that we're mapping over it as a parameter.
tham số lên chúng, vì bất kì thứ gì bên trong một functor sẽ được trao cho hàm mà ta ánh xạ lên nó như là tham số.

Wrapper(A) and returns a new functor Wrapper(B) containing the result of applying said function onto the value
và trả về một hàm functor Wrapper( B) mới chứa kết quả

All this really means is that a functor is an entity that defines the behavior of(fmap) that, given a value and function(morphism), maps said function onto a value of certain type(category) and generates a new functor.
Tất cả điều này thực sự có nghĩa là functor là một thực thể xác định hành vi của( fmap), được đưa ra một giá trị và chức năng( morphism), ánh xạ hàm nói lên một giá trị của loại nhất định( thể loại) và tạo ra một functor mới.

So we can't write instance Functor Either where, but we can write instance Functor(Either a) where
Vì vậy, ta không thể viết instance Functor Either where, nhưng lại có thể viết instance Functor( Either a)

Forgetful functors: The functor U: Grp→ Set which maps a group to its underlying set and a group homomorphism to its underlying function of sets is a functor.[8] Functors like these, which"forget" some structure, are termed forgetful functors. Another example is the functor Rng→ Ab which maps a ring to its underlying additive abelian group.
Hàm tử lãng quên: Hàm tử U: Grp → Set gửi một nhóm đến tập hợp nền của nó và một phép đồng cấu nhóm đến hàm nền là một hàm tử.[ 8] Một hàm tử kiểu như thế này được gọi là một hàm tử lãng quên: nó" quên" cấu trúc của phạm trù ban đầu.

You can think of fmap as either a function that takes a function and a functor and then maps that function over the functor, or you can think
Bạn có thể hình dung fmap như là một hàm nhận một hàm khác và một functor rồi ánh xạ hàm khác đó lên functor,

When we looked at Maybe as a functor, we saw that if we want to fmap a function over it, it gets mapped over the insides if it's a Just value,
Khi ta xem Maybe như là một functor, ta thấy được rằng nếu muốn fmap một hàm lên nó,

For instance, the programming language Haskell has a class Functor where fmap is a polytypic function used to map functions(morphisms on Hask, the category of Haskell types)[9] between existing types to functions between some new types.
Ví dụ, ngôn ngữ lập trình Haskell có một lớp Functor trong đó fmap là một hàm đa hình được sử dụng để ánh xạ các hàm( cấu xạ trong phạm trù Hask, phạm trù các kiểu Haskell)[ 1] giữa các kiểu hiện có tới các hàm giữa các kiểu mới.

We know that the first functor law states that if we map id over a functor, it should be the same as just calling id with the same functor, but as we have seen from this example, this is not true for our CMaybe functor.
Ta biết rằng định luật thứ nhất về functor phát biểu rằng nếu ta ánh xạ id lên một functor, kết quả đáng lẽ phải giống như ta chỉ gọi id với cùng functor, nhưng như ta đã thấy từ ví dụ này, điều đó không còn đúng đối với functor CMaybe đang xét.

be put in an order and then moved on to more interesting ones, like Functor and Applicative.
tiếp theo là đến những lớp thú vị hơn như Functor và Applicative.

that aren't necessarily wrapped in functors and use that function to operate on several values that are in functor contexts.
dùng hàm đó để thao tác trên mnhieefu giá trị thuộc ngữ cảnh functor.

a functor and applies the function inside the functor,<*> takes a functor that has a function in it and another functor and sort of extracts that function
áp dụng hàm bên trong functor, thì<*> lại nhận một functor có chứa một hàm cùng một functor khác

Actually, you have been using functors all along without realizing it.
Trên thực tế, bạn đã sử dụng functor suốt mà không nhận ra điều đó.

Functors sometimes appear in functional programming.
Hàm tử đôi khi xuất hiện trong lập trình.

But with applicative functors, we can apply a function between several functors.
Nhưng với functor áp dụng, ta có thể áp dụng một hàm giữa nhiều functor.