2 ms·
A nitpick: Types are properties of expressions, not values. Type errors happen at compile time, before code runs. Values only exist at run time.
by noelwelsh 2mo ago
A nitpick: Types are properties of expressions, not values. Type errors happen at compile time, before code runs. Values only exist at run time.
- js8 2mo agoFair enough. Although I don't fully subscribe to the dichotomy of compile vs run time, we can say that.
- pxeger1 2mo agoIn semantics, types are properties of values and expressions. Type safety is about whether the type of an expression always matches the type of the value it evaluates to.
- jounker 2mo agoDoesn’t this break down with dependent type systems?