Mon Feb 20 16:39:27 EST 2017
Sequences as Folds -> Fused Loops
A great advantage of representing sequences as folds is that loop
fusion is free. And even more general: arbitrary stream processing
can be expressed like this where "chunk sizes" can vary between stream
processors in a very straightforward way.
Write this up, and turn it into a C or Rust code generator.
It works well in practice because often it is not possible to pick
chunks sizes, and not automating that step will always create a mess
of ad-hoc for loops in C.