[<<][rtl][>>][..]
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
dereferencing.

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.


Conclusion:

EXPORT DEREFERNCING AS A PRIMITIVE




[Reply][About]
[<<][rtl][>>][..]