Ruby Type System In Compiler