> -- Алексей Елин писал(а):
> Есть альтернативный подход к реализации generics
Но, тогда это - не генерики, или "не совсем генерики"...
Смотрите, получается, что все типы, которые возможно будут служить в качестве аргументов при параметризации генерик-классов, должны заранее быть некоего "типа" (с набором интерфейсных функций), позволяющего использовать его внутри обобщённых функций генерика...
К тому же, если мы говорим о генерик-коллекциях, применительно к модели оберонов - мне не совсем понятно, как вы будете (при таком подходе) хранить в коллекциях экземпляры, а не ссылки? Смысл-то как раз в том, что инстанцируется (доопределяется) генерик-коллекция на этапе компиляции потому, что становится известным размер типа-аргумента и "начинается пляска от печки", а как в случае оберонов? - модуль-то с "заготовкой" генерик-коллекции уже в объектном коде...
Пока мне не всё здесь ясно... Может это просто именно мне не ясно? Надо обговаривать...