Array Languages Still Have a Long Way to Go

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