Hacker News Reader

I said "why isn't this a `URL` instead of a string". I know we should "Put that information in your types". The code is written. I can't safely make that change until I know the invariants, and if the person who wrote the code had written a doc comment, I would know them.

View on HN

> The code is [already] written[ and doesn't include that information in its types].

By that logic, the code is already written and doesn't include that information in its comments, either.

> if the person who wrote the code had written a doc comment, I would know [the invariants].

If you're going to ask that the person who wrote the code have written it differently, there's (in general, at least) no reason to ask for comments in preference to types.

Reply on news.ycombinator.com