學長丟來的連結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/m.aspx?n=bbs/PLT/M.1427306726.A.086.html