The point is that the type of a local variable can almost always be inferred bas... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kgilpin on July 30, 2020 \| parent \| context \| favorite \| on: RBS, Ruby’s new type signature language The point is that the type of a local variable can almost always be inferred based on what it’s assigned to.

amw-zero on July 31, 2020 [–]

While that’s true, that’s not what I’m talking about. I’m talking about the communicative benefit of type annotations. If you get the benefit from seeing the types, you don’t want them to be inferred. You use them as a reading tool.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact