A Monotonic Superclass Linearization for Dylan.¶
Barrett, K., Cassels, B., Haahr, P., Moon, D. A., Playford, K., & Withington, P. T. (1996). A Monotonic Superclass Linearization for Dylan. OOPSLA '96 Proceedings, 31(10), 69-82.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Inheritance
- Override-with-discipline: every override is an exception to a default, and disciplined regimes (audit trails, super-calls, ordering rules) keep the pattern useful while undisciplined ones degenerate into ad-hocery in software, legal reasoning, and organisational norms alike. Single-versus-multiple-inheritance trade-off: the diamond problem, the homologous-versus-analogous-trait problem, and the multiple-doctrine reconciliation problem are the same shape, and discipline-imposed linearization (C3 linearization, cladistic parsimony, lex specialis) all solve it.
This sourceDefines the C3 linearization algorithm that resolves multiple-inheritance method-resolution order.
- Override-with-discipline: every override is an exception to a default, and disciplined regimes (audit trails, super-calls, ordering rules) keep the pattern useful while undisciplined ones degenerate into ad-hocery in software, legal reasoning, and organisational norms alike. Single-versus-multiple-inheritance trade-off: the diamond problem, the homologous-versus-analogous-trait problem, and the multiple-doctrine reconciliation problem are the same shape, and discipline-imposed linearization (C3 linearization, cladistic parsimony, lex specialis) all solve it.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:65350840e44c · see in the full table