Tue Dec 2 16:25:40 EST 2014
So to keep this realistic: how to fix this without doing a full
rewrite? The only thing that needs to be figured out is how to type a
More precisely: the explicit types are available. The question is:
which storage dimensions can be optimized?
E.g. giv a node type (a b Int)
Which one of the the dimensions can be condensed?
none: (a b Int)
b: (a Int)
a: (b Int)
The problem is that loop transformations can influence this.
E.g. loop merging.