3 ms·
Well, in all seriousness that’s basically what dependent types are.
by amw-zero 6y ago
Well, in all seriousness that’s basically what dependent types are.
- quickthrower2 6y agoIt will be like “there is an error compiling your compiler sir”
- MaxBarraclough 6y agoOr even the language. On this point: type systems are hard to get right, we know that the Java type system is unsound, even ignoring its covariant array types. https://news.ycombinator.com/item?id=13050491 https://news.ycombinator.com/item?id=13050491