To clarify, I'm not arguing for "X x" over "x : X", I'm arguing for "x : X" over... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

agalunar on Aug 15, 2023 | parent | context | favorite | on: How should I read type system notation?

To clarify, I'm not arguing for "X x" over "x : X", I'm arguing for "x : X" over "x: X".

If you had to write it in the form "a: b", however, "X: x" would make as much or more sense to me as "x: X".

rocqua on Aug 16, 2023 [–]

Putting the type first would be weird in languages that do type inference. Because there you sometimes leave out the type info, but need to add it occasionally. Then it makes sense to append it, rather than pre-pend.

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact