Adaptive Programming[1] by Karl Lieberherr is the most comprehensive attempt I have seen to formalize and separate iteration over arbitrary structures as a dist

Adaptive Programming[1] by Karl Lieberherr is the most comprehensive attempt I have seen to formalize and separate iteration over arbitrary structures as a distinct PL construct. It allows you to specify traversal in a structure-shy way. Personally, I think it goes a little too far, but it's definitely a good inspiration. [1] https://www2.ccs.neu.edu/research/demeter/ https://www2.ccs.neu.edu/research/demeter/ Presentation: https://www2.ccs.neu.edu/research/demeter/talks/overview/quad2000.pdf https://www2.ccs.neu.edu/research/demeter/talks/overview/qua...