summaryrefslogtreecommitdiff
path: root/src/AST/UnMonoid.hs
Commit message (Collapse)AuthorAge
* WIP revamp accumulators again: explicit monoid typesTom Smeding10 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.
* D2[Array] now has a Maybe instead of zero-size for zeroTom Smeding2025-03-26
| | | | Remaining problem: 'add' in Compile doesn't use the D2 stuff
* Commutativity marker on fold1iTom Smeding2025-03-20
|
* 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.
* UnMonoid: Properly recurseTom Smeding2025-02-25
|
* Add ext field to remaining AST constructorsTom Smeding2025-01-27
|
* UnMonoidTom Smeding2024-12-06
|
* WIP UnMonoid (to be used for compiling to C)Tom Smeding2024-12-06