| > Is this actually type safe The type system is roughly the same as in Java, and, as in Java, there are ways around the type system. > or type safe up until you include an untyped gem and the whole thing becomes indeterminate? The compiler requires type annotations; you can't include an untyped gem! InfraRuby syntax is compatible with Ruby interpreters, so you can still use your code while you write type annotations for it. > Does the typing actually improve performance over straight jRuby? Yes. The compiler is written in Ruby, and uses JRuby to bootstrap. The performance of the compiled compiler compiling the compiler is about 7x JRuby. > Can it handle method_missing and *_eval? No. The subset of Ruby supported by InfraRuby excludes metaprogramming and reflection. > Also why is it closed source? Because 1. give away your work 2. ??? 3. profit! is not compelling :-p |