Coercividade. Ortogonalidade. Tipos de dados. Suporte para abstração. Modularidade. Apelidos restritos.

Simplicidade. Tipos de operações. Projeto de sintaxe. Suporte para abstração. Verifi cação de tipos. Generalização de exceções.

Ortogonalidade. Armazenamento de dados. Projeto de síntese. Expressividade. Verifi cação de tipos. Apelidos restritos.

Simplicidade. Projeto de sintaxe. Suporte para manutenção. Posicionamento de labels. Tratamento de exceções. Comandos restritos.

Tipos de dados. Projeto de sintaxe. Suporte para abstração. Expressividade. Tratamento de exceções. Apelidos restritos.