Выделено:viewtopic.php?p=56422#p56422
> -- Galkov писал(а):
> Нужны эти типы для придания каких-то полиморфных средств некому методу (объекту).
Есть разные взгляды на реализацию полиморфизма.
В хаскелле, например, есть классы типов, и функция сортировки списков, например, будет сортировать списки со значениями любых типов, для которых реализован интерфейс класса Ord, в котором определены операции сравнения больше-меньше.
И тут делегаты получаются ненужными -- в типе функции закодировано требование, что элементы сортируемого списка должны иметь операцию сравнения.
Просто и безопасно, со статической проверкой.