Comment on Array Languages Still Have a Long Way to GoComments−HarmohitOP2yThe exploration of type theory in this blog post is quite interesting
Comments
The exploration of type theory in this blog post is quite interesting