3 ms·
I did not catch from you comment if you knew, but "sound" and "unsound" are specific concepts in type theory, and they are binary properties. A system either is
by ObscureScience 4y ago
I did not catch from you comment if you knew, but "sound" and "unsound" are specific concepts in type theory, and they are binary properties. A system either is or is not sound.
- valenterry 4y agoYeah I know that. So: > This makes union types unsound in the presence of type parameters/generics. Sounds a bit strange to me. Why would union types + type parameters be generally unsafe? I doubt that that's true.