Re:What Monoids teach us about software
by Veedrac on Wednesday September 13, 2017 @04:36PM
(#15242360)
"`baz` is associative and `quux` is an identity element."
(Though normally the latter would be more like "`quux` is a noop", "`quux` is an empty set", or whatever domain-specific term you need, and the associativity claim would be a brief parenthetical inside meaningful documentation.)
(Though normally the latter would be more like "`quux` is a noop", "`quux` is an empty set", or whatever domain-specific term you need, and the associativity claim would be a brief parenthetical inside meaningful documentation.)