Sharing is lost

[chak]

Currently the frontend fails to preserve sharing in Accelerate expressions, which leads to unnecessary recomputation of shared values.

[tmcdonell]

Of possible interest for recovery (as opposed to preserving)

data-reify data-reify-cse

(The latter asks specifically for old package versions, but works fine with the latest releases)

[chak]

Replying to tmcdonell:

Of possible interest for recovery (as opposed to preserving) data-reify data-reify-cse (The latter asks specifically for old package versions, but works fine with the latest releases)

The problem with data-reify is that it is typeless. I will probably use the same technique as that package to discover sharing, but will need to re-implement the functionality in a manner that supports type-preserving compilation.

[chak]

Sharing of array computations is now fully recovered by the Accelerate frontend. Sharing of scalar computations is en route.