| ▲ | noelwelsh 2 hours 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 an hour ago | parent | next [-] | |
Fair enough. Although I don't fully subscribe to the dichotomy of compile vs run time, we can say that. | ||
| ▲ | pxeger1 an hour ago | parent | prev | next [-] | |
In 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 an hour ago | parent | prev [-] | |
Doesn’t this break down with dependent type systems? | ||