[Oberon 07/13] Семантика FOR

[ilovb]

Склоняюсь к мысли, что семантика цикла FOR должна быть примерно как в Ada/Lua, т.е.:
1. Переменную цикла запрещено объявлять в секции VAR (соответственно запрещено перекрытие имен)
2. Тип всегда INTEGER;
3. Область действия переменной - тело цикла.
4. Переменная доступна только для чтения.

Кто что думает на этот счет?

[vlad]

Кто что думает на этот счет?

Согласен. Хотя специализированные варианты (foreach) все равно лучше

[valexey_u]

Эмм... Вообще говоря да, такой цикл отлично заменяется на foreach, ибо является его частным случаем.

[vlad]

Эмм... Вообще говоря да, такой цикл отлично заменяется на foreach, ибо является его частным случаем.

Да, цикл отсюда и до туда с read-only пемеренной - 99%, что писатель просто хотел пройтись по всем элементам (целочисленная переменная здесь в роли итератора), т.е. классический foreach.

[valexey_u]

Эмм... Вообще говоря да, такой цикл отлично заменяется на foreach, ибо является его частным случаем.

Да, цикл отсюда и до туда с read-only пемеренной - 99%, что писатель просто хотел пройтись по всем элементам (целочисленная переменная здесь в роли итератора), т.е. классический foreach.

А если ему нужны индексы, то это тоже foreach только уже не по коллекции, а по целочисленному типу (enum, или range какой).

[ilovb]

Т.е. вместо модификации FOR, предлагаете воткнуть foreach, а вместе с ним итераторы, коллекции, диапазоны и т.д...? 

[Geniepro]

Цикл for в таком виде нинужен. Если уж и делать цикл for, так в сишном варианте.
Очень удобно, например, делать так:

Код: [Выделить]

for (table->begin(); ~table->eof(); table->next())
{
...
}чем вот так:

Код: [Выделить]

table->begin();
while (~table->eof())
{
...
    table->next();
}
А если в стиле Ады -- то да, это просто foreach с перебором коллекции (в том числе ленивой) или итератором (имитатором ленивой коллекции)...

[ilovb]

А чем for лучше while в твоем примере? Вроде те же яйца, только в профиль. 

[valexey_u]

Т.е. вместо модификации FOR, предлагаете воткнуть foreach, а вместе с ним итераторы, коллекции, диапазоны и т.д...? 

Итераторы, коллекции и диапазоны - это же не языковые фичи :-) C итераторами работает обычный for, при чем тут foreach?

Код: [Выделить]

for(itr = mymap.begin(); itr != mymap.end(); ++itr) {
    // some code here
}

Всё явно, обычный for (а можно и while), никаких форычей.

[Geniepro]

А чем for лучше while в твоем примере? Вроде те же яйца, только в профиль. 

Тем что в нём инициализация цикла, условие его завершение и действие по его продвижению вперёд -- всё на виду, в одной строке, сразу всё понятно.
while'же размывает этот цикл на как минимум две части...

[ilovb]

Т.е. вместо модификации FOR, предлагаете воткнуть foreach, а вместе с ним итераторы, коллекции, диапазоны и т.д...? 

Итераторы, коллекции и диапазоны - это же не языковые фичи :-) C итераторами работает обычный for, при чем тут foreach?

Чтобы сделать foreach как в Lua или там питоне, придется ввести в язык либо поддержку итераторов (ибо форыч должен что-то вызывать, и это что-то должно помнить на каком оно элементе находится), либо ФВП с замыканиями.

for item in collection do
...
end

что такое "collection"? 

Код: [Выделить]

for(itr = mymap.begin(); itr != mymap.end(); ++itr) {
    // some code here
}

Всё явно, обычный for (а можно и while), никаких форычей.

Ну я уже высказывался что while спокойно заменяет форыч 

[ilovb]

Тем что в нём инициализация цикла, условие его завершение и действие по его продвижению вперёд -- всё на виду, в одной строке, сразу всё понятно.
while'же размывает этот цикл на как минимум две части...

Да, тут for несколько выигрывает.

[valexey_u]

Т.е. вместо модификации FOR, предлагаете воткнуть foreach, а вместе с ним итераторы, коллекции, диапазоны и т.д...? 

Итераторы, коллекции и диапазоны - это же не языковые фичи :-) C итераторами работает обычный for, при чем тут foreach?

Чтобы сделать foreach как в Lua или там питоне, придется ввести в язык либо поддержку итераторов (ибо форыч должен что-то вызывать, и это что-то должно помнить на каком оно элементе находится), либо ФВП с замыканиями.

for item in collection do
...
end

что такое "collection"? 

Ну, если уж ты говоришь про Аду и противопоставляешь это дело форычу, то скажи ка, как на Обероне будет выглядеть вот это (это чисто Адские форы):

Код: [Выделить]

for Count in List loop
    Put (Count);
end loop;

Ну или такое:

Код: [Выделить]

for Count in My_Array_Var'Range loop
    ...
end loop;

Чтобы и сделать нормальный форыч и сделать нормальный For из Ады, нужно существенно поменять язык.

[Geniepro]

Ну я уже высказывался что while спокойно заменяет форыч 

Ага, а if-goto спокойно заменяет while...

[ilovb]

Код: [Выделить]

for Count in List loop
    Put (Count);
end loop;


Разве в Аде есть форыч?   

Я думал это обычный for.
А что такое тут List?