Next: annotations, Previous: Top, Up: Top [Contents][Index]
Vicare’s expander implements an extension to the language defined by R6RS that allows the definition of typed syntactic bindings. Type annotations are optional: we are free to specify them or leave the type of variables unspecified.
| • overview philosophy: | Typed language philosophy. | |
| • overview enabling: | Enabling typed language extensions. | |
| • overview type ids: | Type identifiers. | |
| • overview typed vars: | Typed lexical variables. |