Differences
This shows you the differences between two versions of the page.
| Last revision Both sides next revision | |||
|
sav08:immutable_abstract_data_types [2008/05/28 05:00] vkuncak created |
sav08:immutable_abstract_data_types [2008/05/28 05:01] vkuncak |
||
|---|---|---|---|
| Line 27: | Line 27: | ||
| Type safety is crucial for this to work: if we could cast another value into natSet using functions other than those declared, changing implementation could break. | Type safety is crucial for this to work: if we could cast another value into natSet using functions other than those declared, changing implementation could break. | ||
| + | |||
| + | ===== ADT Value Construction Consequence ===== | ||
| In the sequel, the following consequence of type safety and abstraction will be relevant for us: | In the sequel, the following consequence of type safety and abstraction will be relevant for us: | ||