Array Languages Still Have a Long Way to Go

The exploration of type theory in this blog post is quite interesting