What is the translation of " APPLICATIVE FUNCTORS " in Vietnamese?

• functor áp dụng

Examples of using Applicative functors in English and their translations into Vietnamese

We have also seen that functions are applicative functors.
Ta cũng đã thấy rằng các hàm là các functor áp dụng.

Like normal functors, applicative functors come with a few laws.
Như các functor thông thường, functor áp dụng cũng có một số định luật.

Lists(actually the list type constructor,[]) are applicative functors.
Danh sách( thực ra là constructor kiểu danh sách,[]) là functor áp dụng.

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

It turns out there are actually more ways for lists to be applicative functors.
Hóa ra là còn có những cách khác để biến danh sách trở thành functor áp dụng.

If you try it, you will get stuck, because applicative functors don't allow for the applicative values to interact with each other very much.
Nếu bạn thử viết, bạn sẽ bế tắc, vì các functor áp dụng không cho phép các giá trị áp dụng tương tác lẫn nhau.

But wait, didn't we say that monads are just beefed up applicative functors?
Nhưng đợi đã, chẳng phải ta đã nói rằng monad chỉ là các functor áp dụng được tăng cường thêm ư?

Just like functors have the Functor type class and applicative functors have the Applicative type class, monads come with their own type class: Monad!
Cũng giống như việc functor có lớp Functor và functor áp dụng có lớp Applicative, monad có lớp riêng của chúng: Monad!

So far, we have only used Maybe in our examples and you might be thinking that applicative functors are all about Maybe.
Cho đến giờ, ta mới chỉ dùng Maybe trong các ví dụ và bạn có thể nghĩ rằng các functor áp dụng đều hướng về Maybe.

It may seem like applicative functors are stronger than monads, since applicative functors allow us to take a normal function and make it operate on values with contexts.
Dường như các functor áp dụng thì mạnh hơn monad, vì functor áp dụng cho phép ta lấy một hàm thường rồi khiến nó hoạt động trên các giá trị kèm ngữ cảnh.

Well, there should, but when Haskell was made, it hadn't occured to people that applicative functors are a good fit for Haskell so they weren't in there.
À, nên có, nhưng khi Haskell được tạo lập, mọi người thấy các functor áp dụng không hợp với Haskell vì vậy chúng đã không có mặt ở đó.

In this chapter, we will take a closer look at functors, along with slightly stronger and more useful versions of functors called applicative functors.
Ở chương này, ta sẽ xem xét kĩ hơn về functor, cùng với những dạng mạnh hơn và hữu dụng hơn của functor có tên là functor áp dụng.

Because we're already acquainted with how functions work as functors and applicative functors, let's dive right in and see what their Monad instance looks like.
Vì đã quen với cách mà hàm hoạt động như những functor và functor áp dụng, nên ta hãy đi thẳng vảo vấn đề và xem thực thể Monad của chúng trông ra sao.

Many times the box analogy is used to help you get some intuition for how functors work, and later, we will probably use the same analogy for applicative functors and monads.
Nhiều khi sự tương tự với cái hộp được dùng đến để giúp ta có thêm trực giác về cách hoạt động của functor, và sau này, ta sẽ có thể dùng cách nói tương tự như thế đối với các functor áp dụng và monad.

In this chapter, we will learn about monads, which are just beefed up applicative functors, much like applicative functors are only beefed up functors..
Trong chương này, ta sẽ làm quen với monad, vốn là các functor ứng dụng được nâng cao, cũng giống như bản thân các functor ứng dụng là các functor nâng cao.

Here's an interesting concept: we can take two applicative functors and combine them into one applicative functor that has inside it the results of those two applicative functors in a list.
Sau đây là một khái niệm quan trọng: ta có thể lấy hai functor áp dụng rồi kết hợp chúng thành một functor áp dụng chứa trong đó kết quả của hai functor áp dụng này trong một danh sách.

Again, see how we used a normal function that takes two strings between two applicative functors of strings just by inserting the appropriate applicative operators.
Một lần nữa, bạn thấy cách mà ta đã dùng một hàm thông thường nhận vào hai chuỗi đứng giữa hai functor áp dụng cho chuỗi chỉ bằng cách chèn thêm các toán tử áp dụng phù hợp.

Then, we learned about improved functors called applicative functors, which allowed us to apply normal functions between several applicative values as well as to take a normal value and put it in some default context.
Sau đó, ta đã học về các functor cải tiến, gọi là functor áp dụng, vốn cho phép ta áp dụng những functor thường đối vói một số giá trị áp dụng, cũng như lấy một giá trị thường rồi đặt nó vao trong một ngữ cảnh mặc định nào đó.

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

Then, we took that concept one step further by introducing applicative functors, which allow us to view values of certain data types as values with contexts and use normal functions on those values while preserving the meaning of those contexts.
Sau đó, ta đã phát triển thêm khái niệm này bằng cách giới thiệu các functor áp dụng, vốn cho phép ta xem các giá trị thuộc kiểu dữ liệu nhất định như những giá trị gắn với ngữ cảnh và dùng các hàm thông thường lên các giá trị đó trong khi vẫn giữ được ý nghĩa của các ngữ cảnh đó.

If we think about how Maybe acts as an applicative functor, answering this is pretty easy.
Nếu ta hình dung Maybe đóng vai trò một functor áp dụng, thì sẽ dễ dàng trả lời câu hỏi nêu trên.

When we wrap a value into an applicative functor with pure, the result it yields always has to be that value.
Khi ta gói một giá trị vào bên trong một functor áp dụng bằng pure, thì kết quả mà functor áp dụng cho ra sẽ luôn luôn là giá trị đó.

But rest assured, every monad is an applicative functor, even if the Monad class declaration doesn't say so.
Nhưng yên tâm đi, mỗi monad là một functor áp dụng, ngay cả khi lời khai báo lớp Monad không phát biểu như vậy.

Not only is the function type(-gt;) r a functor and an applicative functor, but it's also a monad.
Kiểu hàm(-gt;) r không chỉ là một functor và functor áp dụng, mà nó còn là một monad.

Pure should take a value of any type and return an applicative functor with that value inside it.
Pure cần phải chấp nhận giá trị có kiểu bất kì rồi trả lại một functor áp dụng chứa giá trị đó bên trong.

We said earlier that it's supposed to take something and wrap it in an applicative functor.
Trước đây ta đã nói rằng kiểu dữ liệu này được thiết kế để nhận vào thứ gì đó rồi đựng nó trong một functor áp dụng.

So every monad is an applicative functor and every applicative functor is a functor..
Như vậy mỗi monad cũng là một functor áp dụng và mỗi functor áp dụng là một functor..

If we just put a function in a default context and then extract and apply it to a value inside another applicative functor, we did the same as just mapping that function over that applicative functor.
Nếu ta chỉ đặt một hàm vào trong một ngữ cảnh mặc định rồi kết xuất và áp dụng nó cho một giá tị bên trong một functor áp dụng khác, thì ta đã làm việc giống như là ánh xạ hàm đó lên functor áp dụng nêu trên.

But even though Monad should have the same constraint for Applicative, as every monad is an applicative functor, it doesn't, because the Monad type class was introduced to Haskell way before Applicative..
Mặc dù Monad phải có cùng ràng buộc này đối với Applicative, với lý do là mỗi monad cũng là một functor áp dụng, thì sự thật lại không phải, vì lớp Monad được giới thiệu ở Haskell trước cả Applicative.

Again, from the class definition we see that the f that plays the role of the applicative functor should take one concrete type as a parameter, so we write instance Applicative Maybe where instead of writing instance Applicative(Maybe a) where.
Một lần nữa, từ định nghĩa lớp ta thấy được rằng f đóng vai trò của functor áp dụng cần phải nhận tham số là một kiểu cụ thể, vì vậy ta viết instance Applicative Maybe where thay vì instance Applicative( Maybe a) where.