Oplossing: Een ruit van klassen

Hier is een mogelijke oplossing voor de taak.

Code

class A {
}

class B is A {
}

class C is A {
}

class D is B is C {
}

say D.^mro.map(*.^name);

🦋 Je kunt de broncode vinden in het bestand diamond-mro.raku.

(D B C A Any Mu)

D erft van twee ouders tegelijk — class D is B is C noemt elk van beide met een eigen is. Dit is meervoudige overerving, en A, B, C, D vormen een ruit: twee paden van D omhoog naar de gedeelde voorouder A.
.^mro plat die ruit uit tot één enkele, lineaire zoekvolgorde. D komt eerst, dan zijn ouders B en C in de volgorde waarin ze geschreven zijn, dan de gedeelde A, en ten slotte Any en Mu.
Ook al leiden zowel B als C naar A, het type A verschijnt één keer, en pas na allebei. Dat is de bedoeling van een method resolution order: elk type wordt precies één keer bezocht, en een ouder komt nooit vóór een kind dat ervan erft — zodat een methode die in B gedefinieerd is altijd gevonden wordt vóór degene die hij in A zou overschrijven.