The type system for typed closure is much more powerful and is build on solid PL research. For example, it handles higher order types, union types and has a nif

The type system for typed closure is much more powerful and is build on solid PL research. For example, it handles higher order types, union types and has a nifty system for overloading.