Type Theory
Array Languages Still Have a Long Way to Go
Referentially transparent type systems that can describe multi-dimensional arrays are still somewhat illusive to even modern programming languages, but researchers are building proof-of-concept compilers that could change the story.
Read Essay