3 ms·Array Languages Still Have a Long Way to Go3 points by Harmohit 2y agoHarmohit 2y agoThe exploration of type theory in this blog post is quite interesting