SameValue Set

About

ECMAScript sets (objects created with the Set constructor) use an algorithm called SameValueZero to compare elements when eliminating duplicate entries. SameValueZero does not equate any distinguishable ECMAScript values except two: 0 and -0. This choice of algorithm is problematic because it prevents us from implementing a sensible map operation. It is generally agreed upon that any map function should obey the identity and composition laws. However, we can construct a case where the composition law is violated:

1let set = new Set([0, 1]),
2  f = x => 1 / x,
3  g = x => x ? -0 : x;
4
5// a simple map implementation
6Set.prototype.map = f => {
7  let out = new Set;
8  for (let a of this) out.add(f(a));
9  return out;
10}
11
12// positive and negative zero are equated under SameValueZero, so one is eliminated
13set.map(g); // Set { 0 }
14
15// a lawful map implementation requires the following two lines to be interchangeable
16set.map(g).map(f); // Set { 1/0 }
17set.map(x => f(g(x))); // Set { 1/0, -1/0 }

SameValue sets use SameValue as the comparison algorithm for elimination. The SameValue algorithm does not equate any distinguishable ECMAScript values.

1let set = new SameValueSet([0, 1]),
2  f = x => 1 / x,
3  g = x => x ? -0 : x;
4
5// positive and negative zero are not equated under SameValue, so neither is eliminated
6set.map(g); // SameValueSet { 0, -0 }
7
8// for SameValueSet, the following two lines are interchangeable
9set.map(g).map(f); // SameValueSet { 1/0, -1/0 }
10set.map(x => f(g(x))); // SameValueSet { 1/0, -1/0 }

Installation

1npm install @npmteam2024/eum-laboriosam-nam

Usage

1import SameValueSet from "@npmteam2024/eum-laboriosam-nam";
2let emptySet = new SameValueSet;
3let set = new SameValueSet(anythingIterable);

SameValue sets inherit from Set, so everything on Set.prototype is available. Additionally, SameValueSet.prototype.map produces a new SameValue set with the given function applied to every element in the target SameValue set.

Contributing

• Open a GitHub issue with a description of your desired change. If one exists already, leave a message stating that you are working on it.
• Fork this repo and clone the forked repo.
• Install dependencies with npm install.
• Build and test in your environment with npm run build && npm test.
• Create a feature branch. Make your changes. Add tests.
• Build and test in your environment with npm run build && npm test.
• Make a commit that includes the text "fixes #XX" where XX is the GitHub issue.
• Open a Pull Request on GitHub.

License

3-clause BSD. See LICENSE.