Main Features

• Everything is a value.

• Classes, types, methods and specifications of different ¡§shapes¡¨.

• Variables of different ¡§colors¡¨.

• Correctness, ownership, resources control and smooth exception handling.

• Run-time type checking for compilation.

• Full Java access