4 ms·
I thought we were all agreed that the strong - weak type axis was to what degree the language automatically converts types?
by blacktriangle 5y ago
I thought we were all agreed that the strong - weak type axis was to what degree the language automatically converts types?
- igouy 5y ago'Indeed, the phrases are not only poorly defined, they are also wrong, because the problem is not with the “strength” of the type checker but rather with the nature of the run-time system that backs them. The phrases are even more wrong because they fail to account for whether or not a theorem backs the type system.' 29.5 Types Versus Safety "Programming and Programming Languages" https://papl.cs.brown.edu/2020/safety-soundness.html#%28part._.Types_.Versus_.Safety%29 https://papl.cs.brown.edu/2020/safety-soundness.html#%28part...
- pydry 5y agoThat's one of the 7 definitions listed on wikipedia. I think it's more germane to refer to that as weak implicit type casting.