Array Languages Still Have a Long Way to Go (karemsamad.com)

3 points by Harmohit 2y ago ↗ HN

1 comment

[ 3.4 ms ] story [ 15.8 ms ] thread

Harmohit 2y ago ↗

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