Re:Names are not type safety (2020)
by b_e_n_t_o_n on Tuesday August 05, 2025 @06:03AM
(#44796211)
Only in the same module. Outside, it's effectively hidden.
And yeah, structurally typed languages often have nominal features. They come in useful in a lot of scenarios! Unless you're talking about something like Clojure which is not statically typed.
Those sound like decidedly non-structural features. And couldn't you undermine them by passing it to a function that expects a different `struct { pw string }` and logs its contents?