FMAP in Vietnamese translation

• fmap

Examples of using Fmap in English and their translations into Vietnamese

Here's the general definition of fmap.
Đây là định nghĩa chung của fmap.

Here's how to rewrite this by using fmap.
Sau đây là cách viết lại hàm này có dùng fmap.

So it's pretty much the same thing as fmap!
Như vậy nó khá giống với fmap!

Actually, fmap can be defined only in terms of bind and return.
Thực ra, fmap chỉ có thể được xác định theo bind và return.

If we do fmap f(fmap g Nothing), we get Nothing,
Nếu viết fmap f( fmap g Nothing),

xs should equal fmap f xs.
xs phải bằng fmap f xs.

the implementation for fmap, we see that the law fmap id= id holds.
định luật fmap id= id được thỏa mãn.

The outcome of fmap yields another context of the same type, which I can map R.
Kết quả của fmap mang lại một bối cảnh khác cùng loại, mà tôi có thể ánh xạ R.

If we write that a bit more formally, it means that fmap id= id.
Nếu ta viết theo cách toán học, thì fmap id= id.

In other words, m>>= f is always the same thing as join(fmap f m)!
Nói cách khác, m>>= f luôn giống như join( fmap f m)!

If we use fmap(replicate 3)
Nếu ta dùng fmap( replicate 3)

But we can't map a function that's inside a functor over another functor with what fmap offers us.
Nhưng ta không thể ánh xạ một hàm nằm trong một functor lên một functor khác với những thứ mà fmap cung cấp.

If we do fmap f(fmap g(Just x)),
Nếu ta viết fmap f( fmap g( Just x)),

The expression fmap(*2) is a function that takes a functor f over numbers
Biểu thức fmap(* 2) là một hàm nhận vào một functor f trên các số

say, fmap and then bind it to a name in GHCI.
chẳng hạn fmap rồi gắn nó vào một tên gọi trong GHCI.

If we imagine what the type fmap would be if it only worked on our new pairs,
Nếu thử hình dung xem kiểu fmap sẽ là gì

If we look at the implementation of fmap for, say, Maybe, we can figure
Nếu nhìn vào cách thực hiện của fmap đối với chẳng hạn,

namely that pure f<*> x= fmap f x holds.
x= fmap f x phải thỏa mãn.

Anyway, it turns out that just like fmap,<*> can also be implemented by using only what the Monad type class give us.
Dù sao, hoá ra là cũng giống như fmap,<*> cũng có thể thiết lập được chỉ bằng cách dùng những gì mà lớp Monad cho ta.

Monad instance for something, you can give it a Functor instance just saying that fmap is liftM.
bạn có thể cho nó một thực thể Functor chỉ bằng cách nói rằng fmap là liftM.