FWIW I wrote a post that touched on that debate last year: http://www.oilshell.org/blog/2017/01/13.html http://www.oilshell.org/blog/2017/01/13.html (I didn't

FWIW I wrote a post that touched on that debate last year: http://www.oilshell.org/blog/2017/01/13.html http://www.oilshell.org/blog/2017/01/13.html (I didn't come down on either side of the debate -- it's more of an exploration.) Comments: https://news.ycombinator.com/item?id=13477842 https://news.ycombinator.com/item?id=13477842