Yes, though the notation approach is worth following if you cannot use the type system (lang doesn't support it, or incurs unacceptable performance or complexity overhead).

But yeah, zero cost compiler magic is the reason Rust is so good.

I'll be using it in my JavaScript extensively. Very useful in languages with useless type systems.

Are you sure you cannot handle this using conditional types in typescript?

Any typed language can do this, not just Rust ;)

> 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).

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.

Oh I see. Thank you!