Sun Jun 2 09:04:36 EDT 2019
Structure of the language
So this is pretty much Seq + Array construction and referencing.
I don't think there is a whole lot to be added apart from that.
How do I separate these?
Maybe it's not necesary. The missing step was the separating of array
Basically, a new grid would be created with the indices.
Then all primtives are just mappings of n-aries.
Ok, another basic idea:
- referencing creates a new grid of indices. this factors out
anything special in the access pattern
- all other operations can be factored into an fmap / liftA2 / ...,
making grid operations and scalar operations isomorphic.
EXPORT DEREFERNCING AS A PRIMITIVE