Re:Names are not type safety (2020)
by b_e_n_t_o_n on Monday August 04, 2025 @02:30AM
(#44782668)
Most programming happens in nominally typed languages where the above isn't trivially possible. To be fair that example is contrived, but you can imagine operations happening on large dicts where only a small subset of the fields are necessary.
[ Parent
| on HN ]
Re:Names are not type safety (2020)
by tsimionescu on Monday August 04, 2025 @05:12AM
(#44783484)
This is actually a relatively common example of the benefits of either polymorphism (for the a.add(b) version) or generic methods/templates. You'll actually find libraries that have a method or template function like this in C++, Java, C#, and other commonly used static languages.