vlad писал(а):
Я посмотрел - проверка идет на точное соответствие типа, без учета наследования. Это так задумано или просто проще?
Задумано. Добавление элемента в массив требует точное соответствие типа элемента типу массива
vlad писал(а):
Т.е. мне надо будет объявить столько типов контейнеров сколько у меня способов сортировки? Мне кажется это не очень удобно. Раз уж нас все равно динамика, то логичнее было бы компаратор сделать параметром Sort().
Там не только Sort, но и Find, и еще Insert, Remove для типа Map.
Идея была - предоставить широкий набор ключей разных типов с компараторами. Целые и строки реализуем предопределенными ключами.
А что сверх того, добавит пользователь.
vlad писал(а):
SYSTEM.PUT/SYSTEM.ADDR в прикладном (даже не библиотечном) коде?
Согласен, нехорошо. Ничего не придумал умнее, т.к. надо было вернуть процедуру-компаратор. Казалось, типы ключей не будут плодиться.