Mais de um tipo...

• A solução para este problema é usar especificações abstratas de tipos!

• Ou seja, descrições contratuais...

  • que dizem “o quê” um tipo deve poder fazer
  • mas que nada dizem sobre “como” fazer

• Conseqüencias:

  • programas podem abstrair detalhes dos outros
  • programadores ficam mais independentes
  • a modularidade facilita o desenvolvimento