Sun Apr 21 08:42:09 EDT 2019
Abstract representations of vectors
Eventually, I want all loops to be implemented target-side, so there
will need to be some notion of fold and zip that are implicit enough
to push it through the representation monad.
This is the next tough problem.
It cannot be captured in Seq. It is a different type class: Loop?
What about this: C and D are always inlined. There doesn't seem to be
a good reason not to, but matrices and polynomials are implemented in
terms of abstract iteration and storage patterns.