So a monoid is the same thing as a semigroup, but it also has a notion of a zero.

所以幺是一回事，但它还具有零元的概念。

We have semi-groups, monoids, and semi-rings.

我们有、幺环。

So, and then you can take that semigroup interface and you can add some additional features to it to turn it into a monoid.

因此，你可以获取这个接口，并为其添加一额外的功能，从而将其转变为幺。

So one monoid there would be where plus is and, and the zero is true, and the associativity law still holds, the identity law still hold there.

因此，一个单的例子是， 其中“加” 操作是“与”（AND）， 零元素是“真” （TRUE）， 并且结合律仍然，一律也仍然。

And then this semi-ring thing is kind of like a double monoid where we have two associative operations that we can perform and two different identity elements, each of which corresponds to the operation.

然后这个环的东西有点像双单， 我们有两个可执行的结合运算两个不的单位元素，每个单位元素都对应一个运算。

But anything that works on monoids, so an algorithm that programs against this mono interface, would only work with lists, but it would not work with non-empty lists because they don't support that abstract interface.

但是任何针对单操作的东西， 也就是说，一个针对这种单接口编写的算法，只能用于列表， 但不能用于非空列表， 因为非空列表不支持那个抽象接口。