Tim Bray posted a thought provoker in “Type-System Criteria”. Working in Android has caused him to rethink some positions. Go read.