
3 May
2017
3 May
'17
10:23 p.m.
On 2017-05-03 19:11, Andrey Sverdlichenko wrote:
This is probably twentieth time this question arises. Discussion quickly boils down to people liking convenient syntax sugar Foldable instance gives (traverse pair, etc), versus people who don't like absurd semantic which becomes correct with such instances.
Language like "absurd semantic" perpetuates the negativity/confrontation that Gershom was talking about. Please try to avoid such language. (It's absolutely fine to disagree, but phrasing matters.) Regards,