Type Checking Ruby Programs with Annotations
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.