3 ms·
Then you might get logical inconsistencies with traits that are designed to be mutually exclusive and are used in type-level programming.
by GolDDranks 6y ago
Then you might get logical inconsistencies with traits that are designed to be mutually exclusive and are used in type-level programming.
- Joker_vD 6y agoThere's a whole 6.1 section in "Java and Scala Type Systems are Unsound" [0] dedicated to "nonsense types". [0] https://raw.githubusercontent.com/namin/unsound/master/doc/unsound-oopsla16.pdf https://raw.githubusercontent.com/namin/unsound/master/doc/u...