MONADS Tiếng việt là gì - trong Tiếng việt Dịch

• monads
• các chân thần
• chơn thần
• đơn tử

Ví dụ về việc sử dụng Monads trong Tiếng anh và bản dịch của chúng sang Tiếng việt

As for understanding monads, don't worry too much about it.
Đối với sự hiểu biết monads, đừng lo lắng quá nhiều về nó.

Of course, all of this is also perfectly possible without monads too.
Tất nhiên, tất cả điều này cũng hoàn toàn có thể không có monads quá.

The MonadPlus type class is for monads that can also act as monoids.
Lớp MonadPlus là dành cho những monad nào có thể đóng vai trò như monoid.

The above examples are in Haskell, but it turns out F also supports monads.
Các ví dụ trên nằm trong Haskell, nhưng hóa ra F cũng hỗ trợ monads.

With monads however, their context and meaning has to be considered as well.
Tuy nhiên với các monad thì ta còn phải xét đến ngữ cảnh và ý nghĩa của chúng nữa.

In Haskell at least, most of the overhead of monads gets stripped away by the optimiser.
Trong Haskell ít nhất, hầu hết các chi phí của monads bị tước đi bởi các optimiser.

These Monads are the real atoms of nature and, in a word, the elements of things.".
Và những Monad này là những nguyên tử đích thực của thiên nhiên, và nói gọn lại, chúng là yếu tố của mọi vật”.

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 ư?

Upon the atoms or“Points” in those bodies, the human and deva Monads.
Dựa vào các nguyên tử hay“ Các Điểm” trong các thể này, tức các Monads của con người và deva.

Exploring a few monads more will also solidify our intuition for monads.
Việc khám phá thêm một số các monad cũng sẽ củng cố trực giác của ta về monad.

I'm not saying Haskell is a bad language-- I'm saying it's a bad language for explaining monads.
Tôi không nói Haskell là một ngôn ngữ xấu- tôi đang nói đó là một ngôn ngữ xấu để giải thích các monads.

This is just another way of saying that for monads, the nesting of operations shouldn't matter.
Đây là một cách nói khác rằng đối với monad, việc lồng ghép các toán tử chẳng ảnh hưởng gì.

This is the same thing as the applicative expression that we wrote earlier, only now it relies on functions being monads.
Cách này cũng giống như biểu thức áp dụng mà ta đã viết trước đây, chỉ khác là bây giờ nó dựa trên các hàm monad.

Because lists are monoids as well as monads, they can be made an instance of this type class.
Vì danh sách cũng vừa là monoid, vừa là monad, chúng có thể được làm thành thực thể của lớp này.

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.

Like with other monads, we can treat them as normal values and the context gets taken for us.
Cũng như với các monad khác, ta có thể coi chúng như những giá trị thường và ngữ cảnh sẽ tự lo cho ta.

They close their eyes, they close all their doors and windows, they become like Leibnitz monads- windowless- then they are bored.
Họ nhắm mắt, họ đóng tất cả cửa cái và cửa sổ, họ trở nên giống như Leibnitz monads- không cửa sổ- thế rồi họ chán chường.

Return, like in other monads, doesn't have any other effect but to make a monadic value that presents some result.
Return, cũng như ở các monad khác, không có hiệu ứng gì khác ngoài việc khiến cho một giá trị monad biểu diễn một kết quả nào đó.

In practice, however, you will need to properly handle errors and for this you would need a new functional data type called Monads.
Tuy nhiên, trong thực tế, bạn sẽ cần xử lý đúng lỗi và đối với điều này, bạn sẽ cần một loại dữ liệu chức năng mới gọi là Monads.

One point to be made is that it's mostly easier with monads, but it's often not as efficient as doing it without them.
Một điểm cần làm là nó chủ yếu dễ dàng hơn với monads, nhưng nó thường không hiệu quả như làm nó mà không có chúng.

Monads are simply a way to wrapping things and provide methods to do operations on the wrapped stuff without unwrapping it.
Monads chỉ đơn giản là cách để gói mọi thứ và cung cấp các phương thức để thực hiện các thao tác trên các công cụ được gói mà không cần mở nó.

In this chapter, we took a look at the basics of monads and learned how the Maybe monad and the list monad work.
Trong chương này, ta đã xem xét kiến thức cơ bản về monad và học cách hoạt động của monad Maybe và monad danh sách.

Monads are one of these things where understanding trickles into your brain by practice, one day you just suddenly realize you understand them.
Monads là một trong những điều mà sự hiểu biết nhỏ nhặt vào bộ não của bạn bằng cách thực hành, một ngày bạn đột nhiên nhận ra rằng bạn hiểu chúng.

You really have to play around writing some non-trivial Haskell code to appreciate what monads are about and why they are useful.
Bạn thực sự phải chơi xung quanh bằng văn bản một số mã Haskell không tầm thường để đánh giá cao những gì monads là về và tại sao họ là hữu ích.

It is this energy which drives the Monads through into physical incarnation, for it makes itself felt on the seventh plane.
Chính năng lượng này đang thôi thúc các Chân Thần đi vào lâm phàm ở cõi trần vì nó tự làm cho chính mình được cảm nhận trên cõi thứ bảy.

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!

Therefore, even their monads or spiritual aspects are inherently different just as in the prism(which is one) there are the seven differentiated colours.
Do đó, ngay cả các Chân Thần của họ hoặc các trạng thái tâm linh bẩm sinh là khác nhau rồi, cũng như trong lăng kính( vốn là một) có tới bảy màu khác nhau.

Certain Monads had already responded to the call of the higher Authorities, and had decided that their representative personalities should assist in the work of the Sixth Root Race in California, some hundreds of years hence.
Một vài Chơn thần đã đáp ứng với lời hiệu triệu của các Đấng có Thẩm quyền cao hơn và đã quyết định rằng Phàm ngã đại biểu cho mình sẽ hỗ trợ cho công trình Giống dân Chính thứ Sáu ở California trong vài trăm năm sắp tới.

For a good article on how monads can be used to introduce functional dependencies and thus control order of evaluation, like it is used in Haskell's IO monad, check out IO Inside.
Đối với một bài viết tốt về cách monads có thể được sử dụng để giới thiệu các phụ thuộc chức năng và do đó kiểm soát thứ tự đánh giá, giống như nó được sử dụng trong đơn nguyên IO của Haskell, hãy kiểm tra IO Inside.

It's not that monads themselves are complex, but that the implementation relies on many other advanced Haskell features like parameterized types, type classes, and so on.
Nó không phải là monads mình là phức tạp, nhưng việc thực hiện dựa trên nhiều tính năng Haskell tiên tiến khác như các loại tham số, loại lớp, và như vậy.