Primitive Types



next up previous
Next: Java Arrays Up: Interaction of Parameterization Previous: Interaction of Parameterization

Primitive Types

 

In order for primitive types such as "int"to satisfy where clauses, it is necessary for them to have methods. Therefore, we have assumed that they do indeed have methods corresponding to the usual infix notation, at least for the purpose of matches where clauses.

In addition, it is important to use common naming conventions for the methods of the primitive types. The reason for this requirement is that matching in where clauses is based on method names, and standard naming conventions make more matches possible.



Andrew C. Myers, Joseph A. Bank, Barbara Liskov
Copyright © 1996 Association for Computing Machinery