samskivert: Integration of Typed and Untyped Code in Thorn – Wrigstad, et al.

06 March 2010

I already reviewed the other Thorn paper, Thorn—Robust, Concurrent, Extensible Scripting on the JVM. This one just goes into more detail on the type system, and how like-types interact with dynamic and static types. I like the idea of minimizing the impact of converting part of your code to being type checked, as a step toward making your whole program statically typed.

Source: PDF ACM

©1999–2015 Michael Bayne