学长丢来的连结XD 也许有强者会有兴趣
就不缩址了
github.com/rubygsoc/rubygsoc/wiki/Ideas-for-MRI-(Matz-Ruby-Interpreter)
#type-system
Prototype a type system for Ruby. At RubyConf 2014 Matz said
he was interested in exploring potential type systems for Ruby.
Matz proposed soft typing, but said he was open to other type
system ideas.
This project is to prototype a Ruby type system. It could
potentially use soft typing, or explore other ideas like the
gradual typing/optional typing systems seen in languages like
Clojure core.typed, Typed Racket, TypeScript, Flow, Hack, and Crystal.
Prerequisites: Intimate familiarity with type systems, preferably
some knowledge of a dynamic language which has
retrofitted types in some way.
Programming areas include: Type theory, compiler design
Estimated difficulty level: Difficult
Potential mentors: ???