Is Clojure pervasively monodic?
A monoid is…
- A set, S
- An operation, • : S × S -> S
- An element of S, e : 1 -> S
…satisfying these laws:
- (a • b) • c = a • (b • c), for all a, b and c in S
- e • a = a = a • e, for all a in S
Is Clojure pervasively monodic?
A monoid is…
- A set, S
- An operation, • : S × S -> S
- An element of S, e : 1 -> S
…satisfying these laws:
- (a • b) • c = a • (b • c), for all a, b and c in S
- e • a = a = a • e, for all a in S