5 ms·
I think that what the author is suggesting is that you still have an open world problem that causes #2 to rear its head eventually, due to #1. You can try to u
by AaronFriel 4y ago
I think that what the author is suggesting is that you still have an open world problem that causes #2 to rear its head eventually, due to #1.
You can try to use plain syntax to narrow types, but the only way to head off the gnarly errors is to close the universe of type parameters. That turns out to be a pretty weak form of generics.
- haberman 4y agoI don't think you can call Zig's choice for #1 the cause of the problems in #2. C++ made a different choice for #1 and yet still suffered the problems of #2 until C++20.