He just told you; to assist the IDE, things like automated refactoring, something Ruby still doesn't have to any reasonable degree. Type systems don't have to

He just told you; to assist the IDE, things like automated refactoring, something Ruby still doesn't have to any reasonable degree. Type systems don't have to be perfect to be damn useful, if you like type systems.