Здравствуйте, Pzz, Вы писали:

Pzz>А это не то же самое, что иметь возможность определить дефолтовый метод, который вызывается, когда нет подходящего конкретного метода?

Могло бы быть похоже, если бы так можно было сделать. В C++, Java, C# так сделать нельзя.

Ну и остаётся непокрытой возможность переслать сообщению другому объекту.

Pzz>Так все концептуально крутые вещи лет 40-50 назад и придуманы. Кроме, может, алгоритма RSA и системы типов Хиндли-Милнера

Типизации по Хиндли-Милнеру тоже уже лет под 40-50.

The origin is the type inference algorithm for the simply typed lambda calculus that was devised by Haskell Curry and Robert Feys in 1958.

In 1969, J. Roger Hindley extended this work and proved that their algorithm always inferred the most general type.

In 1978, Robin Milner, independently of Hindley's work, provided an equivalent algorithm, Algorithm W.

Здравствуйте, Pzz, Вы писали:

Pzz>А это не то же самое, что иметь возможность определить дефолтовый метод, который вызывается, когда нет подходящего конкретного метода?

Могло бы быть похоже, если бы так можно было сделать. В C++, Java, C# так сделать нельзя.

Ну и остаётся непокрытой возможность переслать сообщению другому объекту.

Pzz>Так все концептуально крутые вещи лет 40-50 назад и придуманы. Кроме, может, алгоритма RSA и системы типов Хиндли-Милнера

Типизации по Хиндли-Милнеру тоже уже лет под 40-50.

The origin is the type inference algorithm for the simply typed lambda calculus that was devised by Haskell Curry and Robert Feys in 1958.

In 1969, J. Roger Hindley extended this work and proved that their algorithm always inferred the most general type.

In 1978, Robin Milner, independently of Hindley's work, provided an equivalent algorithm, Algorithm W.

-- Wiki