Comment on Gradual type checking for RubyparentComments−infraruby11yI would definitely find what curryhoward described as usefulYou can get a statically-typed Ruby here: http://infraruby.com/liveIt follows Java's type system (including generics with bounded wildcards) but it doesn't support Ruby reflection.
Comments
You can get a statically-typed Ruby here: http://infraruby.com/live
It follows Java's type system (including generics with bounded wildcards) but it doesn't support Ruby reflection.