guai-

java can't express its types in its own syntax either. nor scala, nor sharp.

ceylon could, but they are barely readable anyway.