Мысли об обобщенном программировании, шаблонах и UML

[Kostia]

Я бы не хотел возобновлять предыдущий разговор, но в некоторых функциональных языках программирования это опять же стандартная практика...

От туда и было взято =), Ela тоже функциональный, я просто привел пример.

Это значит, что меняя в цикле переменную i произвольным присваиванием

Это я знаю, 2 года на Delphi как ни как программировал + 1 на паскале.

Сама суть объектов и полной свободы действий подразумевает даже такое

Integer i;
newclass = T(i); //взяли тип
delete newclass +; //удалили обработчик
add newclass Integer +; //вернули обработчик
newclass j; //по сути тот же самый Integer, но и не он
add newclass class handler
  //тело класса
end;
add newclass field1(Double); //добавили поле и задали ему жесткий тип
add newclass field2(Variant); //добавили поле которое может принимать любой тип

newclass k; //уже совсем новый тип

(delta Integer newclass) m; //тип в котором есть handler и пара наших полей
(union Integer newclass) n; //то же что и newclass, но и не он

Про циклы, статический или нет, ответ прост, любой. Например:

5 to: 10 -> class(Integer x)
//делаем что хотели 
end destination;
Integre i = 10;
i downto: 2, 2 -> destination; // for i := 10 downto 2 step 2 do

При этом будет меняться само значение i, или внутри обработчика to, будет создан клон и будет изменяться он и его из вне не изменить, решает уже сам программист. Но тогда в придется вносить модификаторы доступа, хм, думаю без них не обойтись, человеку по крайней мере, ведь нацеленность есть еще и на машину.