Ruby has characteristic with dynamic typing, so we don’t have to be aware of type. But dynamic typing has disadvantages, the processing time is long and the program has lower reliability. Because type checking is executed at runtime. But static typing has advantages, processing time is fast and the program has high reliability. Because type checking is executed before runtime. Therefore we design and implement a programming language with static typing like Ruby. And we implement type inference because of keeping Ruby’s advantage.