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.