Soutaro Matsumoto
Soutaro Matsumoto
  • @soutaro
Soutaro is a software engineer working for SideCI, spending his time to develop program analysis for code review automation.

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.

Presentation Material

Recorded video