What is the translation of " MONADIC VALUE " in Vietnamese?

• giá trị monad

Examples of using Monadic value in English and their translations into Vietnamese

Then, we feed that monadic value to g.
Sau đó, ta đưa giá trị monad này vào cho g.

Mf is a monadic value whose result is a function.
Mf là một giá trị monad mà kết quả của nó là một hàm.

With do expressions however, each line must feature a monadic value.
Tuy vậy, với các biểu thức do thì mỗi dòng lệnh phải thể hiện một giá trị monad.

The result of this monadic value is a function.
Kết quả của giá trị monad này là một hàm.

If the monadic value on the left is a Nothing, the whole thing is Nothing.
Nếu giá trị monad ở bên trái là một Nothing, thì cả biểu thức lớn là Nothing.

Well, to do that, it has to take into account the context of that monadic value.
Ồ, để làm được điều này, nó phải tính đến ngữ cảnh của giá trị monad đó.

We have one monadic value, m and two monadic functions f and g.
Ta có một giá trị monad, m và hai hàm monad f và g.

To ensure that the context is reflected in the final result, the result is also a monadic value.
Để đảm bảo rằng ngữ cảnh được phản ánh trong kết quả cuối cùng, thì kết quả này cũng phải là một giá trị monad.

When we have a monadic value that has() as its result, we don't bind it to a variable.
Khi ta có một giá trị monad mang kết quả(), ta không gắn nó vào một biến.

Once we're inside that lambda, it's just a normal value rather than a monadic value.
Một khi ta đã ở trong lambda đó rồi, thì nó chỉ là một giá trị thông thường thay vì một giá trị monad.

The last monadic value in a do expression, like Just(show x++ y) here, can't be used with.
Giá trị monad cuối cùng trong một biểu thức do, như Just( show x++ y) ở đây, không thể dùng được vớigt;=.

Now what if those two functions were monadic, that is, what if the values they returned were monadic values?
Bây giờ điều gì sẽ xảy ra nếu hai hàm nói trên là monad, nghĩa là nếu các giá trị mà chúng trả lại đều là giá trị monad?

F returns a monadic value, which is a function in our case, so we apply it to w as well.
F trả lại một giá trị monad, trong trường hợp này là một hàm, vì vậy ta cũng cáp dụng nó cho w.

So this is sort of like assigning values to variables in let expressions, only that the values in question are monadic values.
Như vậy việc này cũng tựa như gán các giá trị vào các biến trong biểu thức let, chỉ khác là các giá trị ở đây là những giá trị monad.

The result of that was another monadic value which got bound into the next monadic function, and so on.
Kết quả đó là một giá trị monad khác và lại được gắn vào hàm monad kế tiếp, rồi cứ như vậy.

It's an important function for making normal values into monadic ones and it wouldn't be good if the monadic value that it produced did a lot of other stuff.
Đó là một hàm quan trọng để biến các giá trị thường thành các giá trị moand và sẽ không hay nếu giá trị monad được tạo ra phải làm nhiều công việc khác nữa.

It turns out that any nested monadic value can be flattened and that this is actually a property unique to monads.
Hóa ra rằng bất kì giá trị monad lồng ghép nào cũng có thể duỗi thẳng được, và đây thực ra là một thuộc tính riêng của monad..

We can see that it's a stateful computation, so we can wrap it in the State newtype constructor and then use it as a monadic value so that passing of the state gets handled for us.
Ta có thể thấy rằng nó là một đại lượng trạng thái, vì vậy có thể bọc nó vào trong constructor newtype State rồi dùng nó như một giá trị monad, theo đó việc truyền trạng thái được thực hiện giúp ta.

We feed the monadic value m into the function and then we apply the function f to its result before putting it back into a default context.
Ta đưa giá trị monad m vào hàm rồi áp dụng hàm f lên kết quả thu được, trước khi đặt nó vào lại ngữ cảnh mặc định.

If we just map that function over the monadic value, we have a monadic value inside a monadic value.
Nếu ta chỉ ánh xạ hàm đó lên giá trị monad, ta sẽ có một giá trị monad bên trong một giá trị monad khác.

The predicate returns a monadic value whose result is a Bool, but because it's a monadic value, its context can be anything from a possible failure to non-determinism and more!
Vị từ trả lại một giá trị monad có kết quả là một Bool, nhưng vì nó là một giá trị monad, nên ngữ cảnh có thể là bất kì điều gì, từ thất bại có thể xảy ra, đến giá trị không tất định, và còn hơn thế nữa!

In this section, we're going to explore a few functions that either operate on monadic values or return monadic values as their results(or both!).
Trong mục này, ta sẽ tìm hiểu một số hàm hoạt động trên các giá trị monad hoặc trả lại kết quả là giá trị monad( hoặc là cả hai điều này!).

Because the result of mm is a monadic value, we get that result and then just put it on a line of its own because it's a monadic value.
Vì kết quả của mm là một giá trị monad, ta đem lấy giá trị đó rồi chỉ việc đặt vào một dòng lệnh riêng vì nó là một giá trị monad.

Instead of making functions that ignore their input and just return a predetermined monadic value, we can use thegt;gt; function, whose default implementation is this.
Thay vì tạo lập các hàm phớt lờ số liệu đầu vào và chỉ trả lại một giá trị monadic định trước, thì ta có thể dùng hàmgt;gt;, vốn có nội dung như sau.

Well, return x is supposed to make a monadic value that always presents x as its result, so it doesn't make sense for the probability to be 0.
Ừm, return x phải tạo ra một giá trị monad sao cho luôn biểu thị x làm kết quả, cho nên xác suất không có lý gì mà bằng 0 được.

Now that we have seen that a value with an attached monoid acts like a monadic value, let's examine the Monad instance for types of such values..
Bây giờ khi đã thấy một giá trị kèm theo một monoid đóng vai trò như một giá trị monad, ta hãy kiểm tra thực thể Monad đối với kiểu của những giá trị như vậy.

In Writer, after doing that and getting the new monadic value, we still had to make sure that the context was taken care of by mappending the old monoid value with the new one.
Trong Writer, sau khi làm điều này và thu được giá trị monad mới, ta vẫn phải đảm bảo rằng ngữ cảnh được để ý đến bằng cách mappend giá trị monoid cũ với cái mới.

It's like function application, only instead of taking a normal value and feeding it to a normal function, it takes a monadic value(that is, a value with a context) and feeds it to a function that takes a normal value but returns a monadic value.
Nó giống như việc áp dụng hàm, nhưng thay vì việc lấy một giá trị thường rồi đưa vào hàm thông thường, nó lấy một giá trị monad( tức là giá trị với một ngữ cảnh) rồi đưa nó vào hàm nhận một giá trị thường nhưng trả lại một giá trị monad.

If we compare these two, it's easy to see why the result of the whole monadic value is the result of the last monadic value in the do expression with all the previous ones chained into it.
Nếu so sánh hai cách viết trên, ta dễ thấy được lý do mà kết quả của toàn bộ giá trị monad là kết quả của giá trị monad cuối cùng trong biểu thức do xâu chuỗi cùng với tất cả giá trị trước đó.

Rather, its result is the result of the whole glued up monadic value, taking into account the possible failure of any of the previous ones.
Thay vào đó, kết quả của nó là kết quả của giá trị monad đã được hợp lại, có xét đến thất bại khả dĩ của bất kì những giá trị monad trước đó.