FUNCTOR in English translation

• functor
• functors

Examples of using Functor in Vietnamese and their translations into English

có dữ liệu null, giống như functor bản đồ mảng bỏ qua các phần tử null và soạn thảo một cách hiệu quả, sẽ bỏ qua việc gọi một đối tượng hàm null.
just like the array map functor that effectively skips null elements and compose, which will skip invoking a null function object.

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,
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

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.
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.

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..
you'll see that there's a Functor class constraint, which means that we can assume that both of<*>'s parameters are functors..

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ố.
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.

Tất cả các tham số kiểu được dồn lại vì Maybe thay thế cho f trong lời định nghĩa của lớp Functor và vì vậy
All the type parameters add up because the Maybe takes the place of f in the definition of the Functor type class and so if we look at fmap like it only worked on Maybe,

A đơn nguyên về cơ bản chỉ là một functor T với hai phương pháp bổ sung,
A monad is essentially just a functor T with two extra methods, join, of type T(T a)-> T a, and unit(sometimes called return,

Hình 1 Giá trị 1 được chứa trong một thùng chứa W, functor được gọi với hàm bao bọc đã nói
Figure 1 A value of 1 is contained within a container W, the functor is called with said wrapper and the increment function,

Nếu một kiểu tuân theo các định luật functor, thì ta biết rằng việc gọi fmap lên một giá trị thuộc kiểu đó sẽ chỉ ánh xạ hàm lên giá trị này, không hơn không kém.
If a type obeys the functor laws, we know that calling fmap on a value of that type will only map the function over it, nothing more.

Functor được sử dụng để thao túng giá trị này,
The functor is used to manipulate this value, by first unwrapping it from the context,

Nếu các thực thể Functor và Monad của một kiểu dữ liệu đều tuân theo các định luật functor và monad, thì hai thứ này sẽ tương đương nhau(
If the Functor and Monad instances for a type obey the functor and monad laws, these two amount to the same thing(and all the monads that we have met

Về bản chất, functor không gì khác hơn là một cấu trúc dữ liệu mà bạn có thể
In essence, a functor is nothing more than a data structure you can map functions over with the purpose of lifting values from a container,

Nếu bạn muốn áp dụng nhiều phép biến đổi với dữ liệu nào đó trong một functor thì bạn có thể khai báo hàm riêng của mình ở cấp chương trình cao nhất, tạo một hàm lambda, hoặc lý tưởng nhất là, dùng hàm hợp.
If you want to apply multiple transformations to some data inside a functor, you can declare your own function at the top level, make a lambda function or ideally, use function composition.

Nhưng sẽ thế nào nếu ta có một giá trị functor là Just( 3*) và một giá trị functor Just 5, đồng thời muốn lấy hàm ra khỏi Just( 3*) để ánh xạ nó lên Just 5?
But what if we have a functor value of Just(3*) and a functor value of Just 5 and we want to take out the function from Just(3*) and map it over Just 5?

gắn một phép biến đổi với đầu ra của functor mà đầu ra này làm thay đổi giá trị.
of functors as things that output values, you can think of mapping over functors as attaching a transformation to the output of the functor that changes the value.

Hãy nhớ rằng Functor là một kiểu được tham số hoá với phương thức map, hiện tại thì chúng ta có thể nói rằng Monad chỉ là một Functor mà có một phương thức là flatMap.
Recalling that a functor is a parameterised type with a map method, we can now say that a monad is just a functor which also has a flatMap method.

lại không thực sự là một functor, vì nó không thỏa mãn các định luật.
instance of the Functor typeclass but not really being a functor, because it doesn't satisfy the laws.

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.
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.

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)
So we can't write instance Functor Either where, but we can write instance Functor(Either a) where

Ta đã thấy bằng cách nào mà monad mạnh hơn các đối tượng áp dụng cùng các functor và việc mặc dù mọi monad đều là functor và functor áp dụng, nhưng chúng không nhất thiết có các thực thể Functor và Applicative, nên ta đã kiểm tra các dạng monad tương đương của các hàm mà functor và functor áp dụng dùng đến.
We saw how monads are stronger than applicatives and functors and how even though all monads are functors and applicative functors, they don't necessarily have Functor and Applicative instances, so we examined the monadic equivalents of the functions that functors and applicative functors use.