Comment afficher la hiérarchie de type d'une valeur?

Question

En Perl5 et Moose, linéaire isa ou linéarisé isa permet de donner un sens aux hiérarchies de classes.

La méthode WHAT indique le type de béton d'une valeur:

> 42.WHAT 
(Int) 

Comment puis-je montrer quelque chose comme

> 42.hypothetical-type-hierarchy 
(Int) ┬ is (Cool) ─ is (Any) ─ is (Mu) 
     └ does (Real) ─ does (Numeric) 

... peut-être avec des lignes supplémentaires pour chaque rôle consommé?

---

edit: par exemple avec deux brins de rôles

class Beta {} 
role Delta {} 
role Gamma does Delta {} 
role Eta {} 
role Zeta does Eta {} 
role Epsilon does Zeta {} 
class Alpha is Beta does Gamma does Epsilon {} 

# (Alpha) ┬ is (Beta) 
#   ├ does (Gamma) ─ does (Delta) 
#   └ does (Epsilon) ─ does (Zeta) ─ does (Eta) 

my $ai = Alpha.new 
$ai.^mro  # ((Alpha) (Beta) (Any) (Mu)) 

$ai.^roles  # ((Epsilon) (Zeta) (Eta) (Gamma) (Delta)) 
       # flat list, not two-element list of a tuple and triple‽ 

Answer 1

Vous pouvez interroger l'objet méta avec

> 42.^mro 
((Int) (Cool) (Any) (Mu)) 

où mro position pour la résolution méthode pour et

> 42.^roles 
((Real) (Numeric)) 

Vous pouvez contrôler quels rôles sont renvoyés via les adverbes :local (exclure les rôles hérités des classes parentes - disponibles uniquement sur les classes) et :!transitive (exclure les rôles composés via un autre rôle - disponibles sur les rôles et les classes).

---

Ce qui suit devrait vous aider à démarrer:

my $depth = 0; 
for Alpha.^mro { 
    say "is {.^name}"; 
    (sub { 
     ++$depth; 
     for @_ { 
      say ' ' x $depth ~ "does {.^name}"; 
      &?ROUTINE(.^roles(:!transitive)); # recursive call of anon sub 
     } 
     --$depth; 
    })(.^roles(:local, :!transitive)); 
} 

Compte tenu de votre code d'exemple avec de légères modifications

role Delta {} 
role Gamma does Delta {} 
role Eta {} 
role Zeta does Eta {} 
role Epsilon does Zeta {} 
class Beta does Gamma {} 
class Alpha is Beta does Gamma does Epsilon {} 

il produit la sortie

is Alpha 
    does Epsilon 
    does Zeta 
     does Eta 
    does Gamma 
    does Delta 
is Beta 
    does Gamma 
    does Delta 
is Any 
is Mu