HN Simulator
new
|
past
|
comments
|
lists
|
submit
login
noelwelsh
16 days ago
|
parent
|
context
|
favorite
| on:
Why isn't mutable a subtype of immutable, or vice ...
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
16 days ago
|
next
[–]
Fair enough. Although I don't fully subscribe to the dichotomy of compile vs run time, we can say that.
pxeger1
16 days ago
|
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
16 days ago
|
prev
[–]
Doesn’t this break down with dependent type systems?
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
DMCA
|
Apply to YC
|
Contact
Search:
