MONOID in English translation

• monoid

Examples of using Monoid in Vietnamese and their translations into English

việc tìm ra monoid chỉ đơn giản là nhìn vào những hàm thông dụng
boolean values, finding monoids was just a matter of looking at already existing commonly used functions

Đây là một trường hợp biểu diễn khá hay của lớp Monoid, nhưng chẳng có ai khi suy nghĩ bình thường sẽ chọn cách này để tính nhân thay vì chỉ viết 3* 9 và 3* 1.
This is nice as a showcase of the Monoid type class, but no one in their right mind would use this way of multiplying numbers instead of just writing 3* 9 and 3* 1.

bạn thấy được hai giá trị được kết hợp làm một lại phụ thuộc vào monoid thế nào.
always have to be a log, it can be any monoid value and how two such values are combined into one depends on the monoid.

các thực thể đó chẳng có ích gì bởi khi dùng lớp Monoid, ta đã dựa vào các thực thể của nó với vai trò monoid..
Monoid that don't follow these rules, but such instances are of no use to anyone because when using the Monoid type class, we rely on its instances acting like monoids.

tượng duy nhất mà phép tự biến đổi đa hình được đại diện bởi các yếu tố của monoid), và tương tự với bất kỳ preorder.
any monoid can be understood as a special sort of category(with a single object whose self-morphisms are represented by the elements of the monoid), and so can any preorder.

trường hợp duy nhất mà ta phải dựa vào các giá trị monoid là khi cả hai tham số củamappend đều là giá trị Just.
the previous instance declaration, the only case where we have to rely on the contents being monoids is when both parameters of mappend are Just values.

Bất kỳ monoid có thể được hiểu như là một loại đặc biệt của phạm trù( với một đối tượng duy nhất mà phép tự biến đổi đa hình được đại diện bởi các yếu tố của monoid), và tương tự với bất kỳ preorder.
Any monoid can be understood as a special sort of category(with a single object whose self-morphisms are represented by the elements of the monoid), and so can any preorder.

Đối với monoid, ta dùng một danh sách các chuỗi
For the monoid, we use a list of strings

Ở đây,\ x-> Any$ x== 3 là hàm nhận vào một số rồi trả lại một giá trị monoid, cụ thể là một Bool được gói trong Any. foldMap áp dụng hàm này cho từng phần tử trong cây rồi rút gọn các monoid thu được về một monoid duy nhất bằng mappend.
Here,\x-> Any$ x== 3 is a function that takes a number and returns a monoid value, namely a Bool wrapped in Any. foldMap applies this function to every element in our tree and then reduces the resulting monoids into a single monoid with mappend.

Nếu ta muốn một monoid của Maybe a sao cho tham số thứ hai được giữ lại nếu cả hai tham số của mappend đều là giá trị Just, thì Data. Monoid cung cấp kiểu Last a,
If we want a monoid on Maybe a such that the second parameter is kept if both parameters of mappend are Just values, Data. Monoid provides a the Last a type, which works like First a,

Vì giá trị đi kèm giờ có thể là bất cứ giá trị monoid nào, nên ta không còn phải hình dung từng bộ như là một giá trị và một ghi chép, mà bây giờ ta có thể hình dung nó như là một giá trị kèm theo một giá trị monoid.
Because the accompanying value can now be any monoid value, we no longer have to think of the tuple as a value and a log, but now we can think of it as a value with an accompanying monoid value.

trong trường hợp Writer nó nhận một giá trị monoid, như[" This is going on"] và tạo ra một giá trị Writer để biểu diễn cho giá trị đại diện() đóng vai trò kết quả, nhưng lại có giá trị monoid gắn kèm theo.
MonadWriter type class and in the case of Writer it takes a monoid value, like["This is going on"] and creates a Writer value that presents the dummy value() as its result but has our desired monoid value attached.

Chính thức, vành đa thức n biến không giao hoán với hệ số trong vành R là vành monoid R[ N], trong đó N là monoid tự
Formally, the polynomial ring in n noncommuting variables with coefficients in the ring R is the monoid ring R[N], where the monoid N is the free monoid on n letters,

hãy nghĩ đơn giản là mappend là một hàm hai ngôi nhận vào hai monoid rồi trả về một monoid khác.
terms of appending and just think in terms of mappend being a binary function that takes two monoid values and returns a third.

không phát minh ra, Monoid được phát hiện.
that are discovered and not invented, Monoid is discovered.

Nhóm Grothendieck của một monoid Abel.
Grothendieck group of a commutative monoid.

Được rồi, thế cái monoid này có ích ở điểm nào?
OK, so how is this monoid useful?

Cấu trúc( N,+) là một monoid giao hoán với phần tử đơn vị 0.
The structure(N,+) is a commutative monoid with identity element 0.

Bây giờ applyLog của ta có thể hoạt động được với bất kì monoid nào.
Now our applyLog can work for any monoid.

Cũng giống như trước đây, ta sẽ dùng danh sách những chuỗi kí tự làm monoid.
Like before, we will use a list of strings as our monoid.