开源项目 松本行弘在推送了一个类型检查的项目 steep，大家怎么看
推送的 文章
项目地址 值得一看。
预览摘抄：
class Conference
def initialize: (name: String, year: Integer) -> any
def name: -> String
def year: -> Integer
def succ: -> instance
end
class Conference
...
# @type const Conference: Conference.module
...
end
# @type const Conference: Conference.module
# @type var year: Integer
conference = Conference.new(name: :RubyKaigi, year: 2017)
year = conference.name
作为一个 ruby helloworld 开发者对 ruby 未来的方向不清楚，ruby 现在有成熟的类型检查体系吗，未来有没有什么考量？ 建议来探讨一个
