4 ms·
You have the same in Ada, where Animal denotes the exact type, and Animal'Class the class-wide type (type and any subtype). https://en.wikibooks.org/wiki/Ada_P
by junke 10y ago
You have the same in Ada, where Animal denotes the exact type, and Animal'Class the class-wide type (type and any subtype).
https://en.wikibooks.org/wiki/Ada_Programming/Object_Orientation#Class-wide_and_specific_types https://en.wikibooks.org/wiki/Ada_Programming/Object_Orienta...
- al2o3cr 10y agoThe Ada variant seems to achieve a clearer goal: specify exactly where LSP / subtyping is desired, leaving the default behavior of un-decorated types alone. Explicit opt-out as in Zimbu seems odd.