Array Languages Still Have a Long Way to Go

Y	Hacker News new \| ask \| show \| jobs

	Array Languages Still Have a Long Way to Go (karemsamad.com)
	3 points by Harmohit 737 days ago

1 comments

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