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: |