推 mars90226: 奇怪，我記得有很多XD 03/26 02:47
→ suhorng: 應該有很多 我沒有去研究就是 03/26 03:19
學長丟來的連結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://www.ptt.cc/bbs/PLT/M.1427306726.A.086.html