I do believe there is a place for pure languages that are statically verifiable, have no reflection, etc. But Java is not that place.