Go to the first, previous, next, last section, table of contents.
Kawa implements all the required and optional features of R5RS, with the following exceptions.
The entire "numeric tower" is implemented. However, some transcendental function only work on reals. Integral function do not necessarily work on inexact (floating-point) integers. (The whole idea of "inexact integer" in R5RS seems rather pointless ...)
Also, call-with-current-continuation is only "upwards" (?). I.e. once a continuation has been exited, it cannot be invoked. These restricted continuations can be used to implement catch/throw (such as the examples in R4RS), but not co-routines or backtracking.
Kawa does not do general tail-call elimination. However, if the
compiler can prove that the procedure being called is the current
function, then the tail call will be replaced by a jump.
This means the procedure must be defined using a letrec, not a
define (because the compiler does not know if someone might
re-define a global definition), and there must be no assignments
(using set!
) to the procedure binding.
The define-syntax
primitive is provided, but has some bugs
making it not properly hygienic. Neither let-syntax
nor letrec-syntax
are implemented.
Go to the first, previous, next, last section, table of contents.