Current work on the Ivory programming system is listed here
All object types are subtypes of Ref. This means that any dyanamic type check from type * first ensures that the return type is Ref before checking against the dynamically obtained object type.
The code generation for closure entry code needs to be improved so that it fully supports all of the following cases:
A simple check for no arguments, returning a globally allocated closure and the type register set to the outer type signature.
An associative table, mapping all permissible partial applications to their corresponding type signatures. Common primitive can be used to construct all partial function closures and re-entry code.
The alternative entry point where it is known that all arguments are present.
Last update: 11 October, 2005