Sun May 12 16:10:31 EDT 2019


- to define an algebra, first define it on a simple, concrete language
  (i.e. create a notation first), and then generalize it to a langauge
  with practical annotations (e.g. something that maps to C loops and

- the RAI idea isn't bad.  it was just missing a split between
  generation of the full grid intermediate, and subsequent
  optimization based on a loop algebra.

- the algebra is "large".  i.e. there are a lot of degrees of motion
  inside the algebra.  any optimization will likely need heuristics.
  it's not just straigtforward reduction.

- higher order functions just add a dimension to the grid.  they are
  not just scalar->vector.