Hacker News new | ask | show | jobs
by necovek 452 days ago
I think you misunderstood the article and my comment: this is about introducing new types, not about typing or not typing your function arguments.
1 comments

But new types are wonderful! They can be used to prevent you from adding speed and and fuel left. Yes, both speed and fuel left are floats, but adding them will only produce nonsense.
Which is an altogether different discussion: the OP focused on compound types, and not on type "aliases" and their benefits.

Most languages and their typing systems would still allow adding speed and fuel-left if you only aliases them, so you are likely going to need to sacrifice ergonomics by wrapping them in a compound type instead.