Next: built-in, Previous: descriptors, Up: Top [Contents][Index]
Vicare allows us to perform some operations on objects through generic syntaxes, provided that we use the type annotation.
Unless otherwise specified, the syntactic bindings documented in this
section are exported by the library (vicare). When showing code
examples, we always assume: to have imported the library
(vicare); to have enabled the typed language; to have put the
Scheme source code reader in #!vicare mode.
| • syntaxes type-of: | Determining the type of expressions. | |
| • syntaxes define: | Defining type annotations. | |
| • syntaxes new-delete: | Constructors and destructors. | |
| • syntaxes predicates: | Predicate syntaxes. | |
| • syntaxes assert: | Validating signatures. | |
| • syntaxes unsafe-cast: | Casting the type of expressions. | |
| • syntaxes case-type: | Branching on type of expression. | |
| • syntaxes variables: | Defining typed variables. | |
| • syntaxes overloads: | Overloaded functions. | |
| • syntaxes operations: | Miscellaneous operations. |