summaryrefslogtreecommitdiff
path: root/src/AST/Accum.hs
Commit message (Collapse)AuthorAge
* Reorder TLEither to after TEitherTom Smeding7 days
|
* WIP revamp accumulators again: explicit monoid typesTom Smeding9 days
| | | | | | | | No more D2 in accumulators! Paving the way for configurable sparsity of products and arrays. The idea is to make separate monoid types for a "product cotangent" and an "array cotangent" that can be lowered to either a sparse monoid or a non-sparse monoid. Downsides of this approach: lots of API duplication.
* Compile EAccumTom Smeding2025-03-17
|
* Much process with accumulator revampTom Smeding2025-03-14
|
* WIP revamp accumulator projection type reprTom Smeding2025-03-14
I stopped working on this because I realised that having sparse products (and coproducts, prehaps) everywhere is a very bad idea in general, and that we need to fix that first before really being able to do anything else productive with performance.