next up previous contents
Next: 2.5 Macro Message-sends Up: 2 Language Reference Previous: 2.3 Methods   Contents

2.4 Type Annotations

Input and local slots' types can be specified statically for performance or documentation reasons, if desired. The special character ``!'' is used in the same manner as the dispatch annotation ``@'', but type-annotations can occur anywhere. The type system and inference system in Slate is part of the standard library, and so is explained later in sub:Types.



The Slate Project 2004-02-16