[plt-scheme] Twitter's experience Ruby -> Scala (dynamic to static typing)

On Mon, Apr 6, 2009 at 10:28 AM, Marek Kubica <marek at xivilization.net> wrote:
> it would be quite tricky to fuse a static type system with dynamic
> types since you can never know for sure what types one would get from
> non-annotated code.

This is precisely what the Typed Scheme work is all about.  In Typed
Scheme, you have a precise gaurantee about what you can assume in the
typed code, and what the obligations are in the untyped code.  For
details, you can see our recent papers in the Dynamic Languages
Symposium 2006 and in POPL 2008, linked from here:
  http://www.ccs.neu.edu/~samth/

As for integration between Scala and Ruby, I'm not sure how that would work out.
-- 
sam th
samth at ccs.neu.edu