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.