Content deleted Content added
→Permutation?: new section |
→Rust example: new section |
||
Line 181:
It was added at https://en.wikipedia.org/w/index.php?diff=438062307 that the monoid being "non-commutative and idempotent" implies permutation. I think the property as described cannot mean "free and idempotent", as [a, b, a] wouldn't be called a permutation. Is there a way to clarify the property to really give permutations? Otherwise, is it even meaningful to name the collection type arising from free and idempotent monoid? [[User:J824h|Junghyeon Park]] ([[User talk:J824h|talk]]) 04:27, 11 December 2023 (UTC)
== Rust example ==
Hi all. I would like to ask regarding the Rust example. It is written in [[Monad (functional programming)#An example: Maybe|Monad (functional programming)#An example: Maybe]] that the Rust example is using <code>Maybe</code>, <code>Just</code>, and <code>Nothing</code>, while Rust actually uses <code>Option</code>, <code>Some</code>, and <code>None</code> respectively [https://doc.rust-lang.org/std/option/]. Is this intended to be written this way? [[User:Mangkoran|Mangkoran]] ([[User talk:Mangkoran|talk]]) 11:19, 19 December 2023 (UTC)
|