学长丢来的连结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: ??? --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 220.137.29.95 ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/PLT/M.1427306726.A.086.html