Tipos de coisas

• Atentem: tipos são contratos!

• Tipos determinam quais interações são válidas com coisas daquele tipo

• Em Java, o cumprimento do contrato definido pelo tipo é “vigiado” pela linguagem

  • dizemos que a LP é fortemente tipada

• Por isso, qualquer coisa em Java tem um tipo!