This article by Tomas Petricek goes into some interesting historical background and philosophical questions regarding types: http://tomasp.net/blog/2015/agains

This article by Tomas Petricek goes into some interesting historical background and philosophical questions regarding types: http://tomasp.net/blog/2015/against-types/ http://tomasp.net/blog/2015/against-types/