Also read the follow-up: http://pchiusano.blogspot.no/2013/09/why-type-systems-matter...
We've been settling for a walled-garden approach to applications / platforms in the world of software.