3 ms·
The original argument was that naming them "monoids" reduces cognitive load. The argument as I see it written is only that naming them reduces cognitive load.
by argv_empty 9y ago
The original argument was that naming them "monoids" reduces cognitive load.
The argument as I see it written is only that naming them reduces cognitive load. I don't see anyone suggesting that the specific name they happen to have carries any special power.
- rbehrends 9y agoIn what way is the specific name relevant? What alternative name instead of monoid for a monoid do you have in mind that would accomplish this goal?
- argv_empty 9y agoHas someone claimed to have a better name?