Comment Comment by srean If one wants to add the capability to reason about shape and shape compatibility, Barry Jay's FiSh would be an interesting detour.https://web.archive.org/web/20111015133833/http://www-staff....This was used in his shape aware language FiSh, for dealing with multidimensional arrays. Shape compatibilities were statically type checked, if I recall correctly. Shapes were also used to optimize the loops.[Programming in FISh] https://link.springer.com/article/10.1007/s100090050037[Towards Dynamic Shaping] https://www.researchgate.net/publication/265975794_Towards_D... parent srean 3 months ago
https://web.archive.org/web/20111015133833/http://www-staff....
This was used in his shape aware language FiSh, for dealing with multidimensional arrays. Shape compatibilities were statically type checked, if I recall correctly. Shapes were also used to optimize the loops.
[Programming in FISh] https://link.springer.com/article/10.1007/s100090050037
[Towards Dynamic Shaping] https://www.researchgate.net/publication/265975794_Towards_D...