26. Bigloo A practical Scheme compiler (4.3g) User manual for version 4.3g December 2019 -- Explicit typing |
|
Bigloo supports type annotation or type information. As shown in
Section ref Module declaration, these annotations can be written both in
the module clauses and in module bodies although module body type
information is optional. It helps the compiler to produce better quality
code and to reject incorrectly typed programs. Type annotations can describe
both the result and formal parameter types for global functions and also
types for local variable. Due to our module language design (in particular
module initialization), Scheme global variables cannot support type
information. Types are either atomic types (see Atomic types), foreign types (see Defining an extern type), or a classes (see Class declaration). Warning: All type annotations are ignored by the interpreter. Module body type annotations are introduced by the following special forms.
|
This Html page has been produced by
Skribe.
Last update Mon Dec 9 13:24:30 2019.