4 ms·
To the degree that it allows invalid types, it's weakly typed. That's fine as a compromise (no type system is perfect), but the same impulse that says you shoul
by icambron 12y ago
To the degree that it allows invalid types, it's weakly typed. That's fine as a compromise (no type system is perfect), but the same impulse that says you should type in the first place also says you should only allow valid types. It's a challenge type systems should aspire to solve.
- tome 12y agoThey should certainly aspire to solve it, but the inability to type one aspect of your program isn't an argument against types.
- icambron 12y agoThat you can't type it isn't an argument against types, but that you can't type it and that's perfectly fine with you suggests you don't actually think types are that important.
- eli_gottlieb 12y agoType systems do aspire to solve it, but we run into Rice's Theorem pretty quickly.