|
|
|
|
|
|
by kaba0
704 days ago
|
|
|
That’s not really “the definition”. Different type systems can express different properties about objects, and there are absolutely cases that something changes about a type. E.g. in structural typing, adding a new field will change the type to a subtype. Will it make any structural typed language non-static? |
|
|