Examples of using Giá trị monad in Vietnamese and their translations into English
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Ta có một giá trị monad, m và hai hàm monad f và g.
We have one monadic value, m and two nó phải tính đến ngữ cảnh của giá trị monad đó.
it has to take into account the context of that monadic value.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.
The result of that was another monadic value which got bound into the next Giá trị monad cuối cùng trong một biểu thức do,
The last monadic value in a do expression, like Just(show x++ y)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 đó.
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.Sau đây là một số điều cần suy ngẫm: nếu kết quả của một giá trị monad lại là một giá trị monad khác, nghĩa là nếu một giá trị monad được lồng vào trong giá trị kia, liệu bạn có thể duỗi thẳng chúng ra thành một giá trị monad thông thường chứ?
Here's some food for thought: if the result of one Tôi nghĩ rằng thật tuyệt vời khi ta có thể sửa đổi thuật toán thông dụng thành một thuật toán có khả năng báo cáo quá trình hoạt động của nó, chỉ bằng cách thay đổi những giá trị thường thành giá trị monad và để cho>>= của Writer đảm nhiệm nội dung ghi chép cho ta.
I think it's awesome how we were able Mf là một giá trị monad mà kết quả của nó là một hàm.
Mf is a monadic value whose result is 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. .
It turns out that any nested monadic value can be flattened and that this is actually a property unique to monads.Ta xâu chuỗi giá trị monad nhưng phớt lờ kết quả của nó vì không quan tâm nó là gì; như vậy thì hay hơn là cách viết tương đương.
We sequence the monadic value but we ignore its result because we don't care what it is and it's prettier than writing.Bằng>>=, ta luôn nghĩ về cách đưa một giá trị monad vào cho một hàm nhận giá trị thường nhưng trả lại một giá trị monad.
With>>=, we're always thinking about how to feed a monadic value to a function that takes a normal 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!).
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!).chúng trả lại đều là giá trị monad?
what if the Một biểu thức do luôn cho kết quả là một giá trị monad, và với biểu thức này cũng chẳng khác gì.
Nếu giá trị monad ở bên trái là một Nothing, thì cả biểu thức lớn là Nothing.
If the monadic value on Khi dùng>>= với Maybe, giá trị monad được đưa vào hàm trong khi vẫn để ý tới khả năng xảy ra thất bại.
When we used>>= with Maybe, the monadic value was fed into ta sẽ có một giá trị monad bên trong một giá trị monad khác.
over the Khi ta dùng>>= để đưa một giá trị monad vào trong một hàm, thì kết quả luôn là một giá trị monad.
When we use>>= to feed a monadic value to 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.
getting the new monadic value, we still had to make sure that the context was taken care of by mappending the old monoid Ừ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ả,
Well, return x is supposed to make a monadic value that always presents x as its result, so it doesn't make
