|
|
|
|
|
|
by velis_vel
4487 days ago
|
|
|
> Something like "Appendable" might be more appropriate for C++. So I can append False to True to get False (Boolean monoid under &&) or append 8 to 9 to get 72 (integer monoid under multiplication)? There's also a monoid instances for any single-argument function into a monoidal type, where (f <> g) x = f x <> g x; I don't know what to call that but it's definitely not appending. Append is a name that works in a few cases but horribly breaks down in the general case. |
|
|