A practical Scheme compiler (4.3f)
User manual for version 4.3f
July 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
Last update Thu Jul 4 08:14:49 2019.