Есть ли язык, позволяющий динамическое связывание для аргументов?

Question

Есть ли язык, допускающий супертип A, определяющий метод useFoo (Foo foo), такой как B, полученный из A, определяющий метод useFoo (Bar bar), (Bar выводится из Foo) при использовании B как A с Foo, который является баром, он будет запускать наиболее специализированную версию useFoo?

Java пример (не работает, к сожалению):

public class Foo { 

} 

public class Bar extends Foo { 

} 


public class A { 
    void useFoo (Foo foo) { 
     System.out.println("A"); 
    } 
} 

public class B extends A { 
    void useFoo (Bar bar) { 
     System.out.println("B"); 
    } 
} 

public static void main(String[] args) { 
    A b = new B(); 
    b.useFoo(new Bar()); // actually returns "A", is there one returning "B" ? 
} 

Я знаю, что есть способ, чтобы это произошло с «несколько» линий (с использованием посетителя к примеру), но я хотел бы знать, если любой (скомпилированный) язык позволил бы это сделать.

Я признаю, что хотел бы знать, возможно ли это, наоборот, меня не удивит, и что мешает?

Есть ли лучшее название для этой концепции?

Редактировать: В java это называется контравариантность. спасибо @Kevinrob

Answer 1

Ваш вопрос связан со следующими понятиями:

1. Covariance: аргумент может быть переопределен в подклассах, чтобы быть подкласс исходного класса аргумента. Это соглашение используется, например, в Eiffel. Известно, что этот подход приводит к проблемам безопасности типа, CAT-вызовы (CAT = Изменение доступности или тип), которые необходимо решать особым образом, чтобы сохранить устойчивость системы типа. Сильным аргументом для covarince является то, что он прекрасно сочетается с контрактами (например, с Design by Contract).
2. Multiple dispatch: вызовы методов выполняются, полагаясь не только на тип цели вызова, но и на типы аргументов. На этой странице перечислены несколько языков, поддерживающих этот механизм. Многократная отправка - это способ справиться с ковариацией и контравариантностью. Однако нужно быть осторожным при разработке наборов методов, которые полагаются на механизм, чтобы избежать выполнения неожиданного метода во время выполнения.
3. Generic programming: вместо определения типов аргументов поставщиками они могут быть исправлены клиентами. Механизм безопасен по типу и свободен от проблем предыдущих двух, но требует, чтобы конкретные общие параметры явно указывались клиентами, и если таких аргументов слишком много, объявления типов могут стать громоздкими. В настоящее время существует много языков, которые его поддерживают.