News for hackers. Stuff that matters.

A comment on Making Wrong Code Look Wrong (2005). Parent comment

Re:Making Wrong Code Look Wrong (2005) by devicetray0 on Saturday November 09, 2019 @11:09AM (#21492294)
> GALAXY BRAIN: Apps Hungarian is stupid and just duplicates the work of the type system

Is this correct? From the article, Apps Hungarian represents your intent for the var (the kind), not the type. Systems Hungarian represents the type (duplicative).

[ Parent | on HN ]
Re:Making Wrong Code Look Wrong (2005) by dmitshur on Saturday November 09, 2019 @11:43AM (#21492524)
He meant that the intent (kind) can be factored into the type system too. Instead of using type string for both “unsafe string” kind and “safe string” kind, you’d use two different types. So the type system aka compiler can catch a mistake, in addition to your eyes.

For example, see https://talks.golang.org/2012/goforc.slide#43.

[ Parent | on HN ]
Re:Making Wrong Code Look Wrong (2005) by devicetray0 on Saturday November 09, 2019 @11:53AM (#21492582)
Oh I see. Thank you!
[ Parent | on HN ]