Add experimental new memoizers: autotrack and weakmap

[markerikson]

This PR:

• Switches the memoization of incoming arguments back to defaultMemoize for perf atm
  • NOTE: this will require significantly more investigation and consideration. See:
    • [Enhancement] Selector Debugging Tools #279
    • Use provided memoize function for selectors #297 (the actual change that put memoize() there now)
    • Can't set selector memoization function #298
    • Use provided memoize options in outer memoize call #359
• Adds 3 new experimental memoizers:
  • autotrackMemoizer: uses Proxies and an "autotracking" implementation to determine exactly which fields are accessed in a selector, and only recalculate when those fields get changed
  • weakMapMemoizer: uses WeakMaps to form a tree of cache lookups based on args
  • signalisMemoizer: uses https://github.com/cafreeman/signalis to try to do something similar to the autotrack approach

There's a good chance that these could go into v4.x, but I'm putting them in a 5.x-based build branch for now.

Status and Tradeoffs

Currently, autotrack and weakMap seem to actually work and pass tests. signalis runs but doesn't memoize properly.

autotrack works well! I can confirm that if you do something like todos => todos.map(t => t.id), and then flip t.completed, it will not recalculate. However, it also is definitely slower than defaultMemoize. The question is whether the slowness is enough to matter in practice. On the flip side, the fact that it can recalculate a lot less often in some cases means that there'd be fewer re-renders.

weakMap is closer in speed to defaultMemoize. Haven't done significant testing on it yet. Seems like there's some amount of multi-size behavior by default, but haven't figured out how that grows over time or gets GC'd.

Resources / inspiration / places I swiped code from:

• Autotrack:
  • https://github.com/simonihmig/tracked-redux
  • https://www.pzuraq.com/blog/how-autotracking-works
  • https://gist.github.com/pzuraq/79bf862e0f8cd9521b79c4b6eccdc4f9
  • https://github.com/lifeart/glimmerx-workshop
  • https://v5.chriskrycho.com/journal/autotracking-elegant-dx-via-cutting-edge-cs/
  • https://github.com/glimmerjs/glimmer-vm/blob/master/packages/%2540glimmer/validator/
• WeakMap:
  • Straight out of the React Cache source: ReactCache.ts
• Signalis:
  • createStore and update do not work with frozen objects cafreeman/signalis#53

[markerikson]

Aaaand the build is totally busted due to some Reselect -> RTK -> Reselect dependency thing.

Will worry about that later.

[codesandbox-ci]

This pull request is automatically built and testable in CodeSandbox.

To see build info of the built libraries, click here or the icon next to each commit SHA.

Latest deployment of this branch, based on commit 41959cd:

Sandbox	Source
Vanilla	Configuration
Vanilla Typescript	Configuration

[markerikson]

Updates since the original PR creation:

• Deleted the signalisMemoize implementation. It didn't work right.
• Cleaned up autotrackMemoize and weakmapMemoize
• Did some testing on weakmapMemoize in conjunction with @crutchcorn and concluded that weakmapMemoize has effectively an infinite cache size, in that the use of WeakMaps will keep around cached values as long as the args are still in memory, and then clean up the cached values as soon as those args are GC'd.
• Split the unit tests into several files just for readability, and to enable adding copy-pastes of the "basic selector" tests using both autotrackMemoize and weakmapMemoize