[EN] Type Checking Ruby Programs with Annotations / Soutaro Matsumoto @soutaro
RubyKaigi2017
http://rubykaigi.org/2017/presentatio...
Type inference for Ruby programs is really difficult, and no one on earth has implemented successfully yet.
Q: What if we write type annotations?
A: Much easier, but it is still not trivial.
I will explain why they are difficult, how we can have a practical type checker for Ruby, and how the programming experience will be with types.