This document describes version 0.4d1 of Vicare Scheme, an R6RS compliant native compiler for the Scheme language, producing single threaded programs running on Intel x86 32-bit and 64-bit processors. Vicare is pronounced the etruscan way. The focus of this document is over the typed language extension.
The package, including its documentation, is distributed under the terms of the GNU General Public License (GPL) and can be downloaded from:
the home page of the project is at:
development takes place at:
and, as a backup, at:
Copyright © 2016-2017 by Marco Maggi.
Copyright © 2006-2010 by Abdulaziz Ghuloum.
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License version 3 as published by the Free Software Foundation.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.
Trademarks used herein are the property of their respective owners.
| • overview: | Overview of the typed language. | |
| • annotations: | Type annotations. | |
| • specifications: | Type specifications. | |
| • descriptors: | Type descriptors. | |
| • syntaxes: | Type-exploiting syntaxes. | |
| • built-in: | Built-in object types. | |
| • methods: | Methods and virtual methods. | |
| • protlev: | Protection levels. | |
| • mixins: | Sharing object-type definition clauses. | |
| • interfaces: | Interface types. | |
| • labels: | Sub-typing with labels. | |
| • friends: | Friend functions. | |
Appendices | ||
|---|---|---|
| • Package License: | GNU General Public License. | |
| • references: | Bibliography and references. | |
Indexes | ||
| • concept index: | An entry for each concept. | |
| • function index: | An entry for each function. | |
| • variable index: | An entry for each variable. | |
| • type index: | An entry for each type. | |