News for hackers. Stuff that matters.

A comment on Names are not type safety. Parent comment

Re:Names are not type safety by ChrisSD on Monday November 02, 2020 @04:41AM (#24966235)
Why not? That would seem useful if other code depends on having a validated email address.
[ Parent | on HN ]
Re:Names are not type safety by the_mitsuhiko on Monday November 02, 2020 @04:56AM (#24966311)
I point you to the article.
[ Parent | on HN ]
Re:Names are not type safety by ChrisSD on Monday November 02, 2020 @05:03AM (#24966350)
The article doesn't exactly make a case against it. It even explicitly says it's useful! It just says making a newtype isn't as strong a guarantee as a proper type.

Newtypes do work to assert certain checks have already been done and need not be repeated.

[ Parent | on HN ]