> I would definitely find what curryhoward described as useful You can get a statically-typed Ruby here: http://infraruby.com/live http://infraruby.com/live I

> I would definitely find what curryhoward described as useful You can get a statically-typed Ruby here: http://infraruby.com/live http://infraruby.com/live It follows Java's type system (including generics with bounded wildcards) but it doesn't support Ruby reflection.