Une technique d'invocation polymorphe de méthodes basée sur les types de nombreux arguments (ou tous). Comparez-le à un seul envoi, utilisé dans les langues de OO communes, où les méthodes ne peuvent être polymorphes que dans le premier argument - la résolution d'exécution de A.Dosomething (X, Y, Z) ne dépend que du type de A.