sentence: a type-inferring compiler greatly reduces the need for manual type annotations ( for example , the data type of variables and the signature of functions usually do not need to be explicitly declared , as they do in java ) .