`rangeto`, `downto` keywords for the for block

[frungl]

Поддержка ключевого слова downto для for.

Теперь можно писать так:

for i := 3 downto 1:
    print (i)

Вывод: 3 2 1

[GassaFM]

Прежде чем добавлять фичу, неплохо бы её задизайнить :) . Нынешний дизайн далёк от идеала. И по выбору ключевого слова — а какое хорошее слово было бы парным к until?) И по семантике: цикл вверх на полуинтервале, а цикл вниз почему-то на отрезке.

[GassaFM]

Более развёрнутый пример. Представим себе язык, в котором есть следующие управляющие конструкции: if ... fi for ... endfor while ... end while do { ... } while ... ; Ничего не смущает? :) (половина этого примера вполне себе есть в языке Metapost)

[GassaFM]

Итак, вопросы про цикл вниз, на которые надо бы ответить до написания кода:

• Нужен ли он вообще? Хороший ответ — примеры использования, из которых могут следовать ответы на следующие вопросы.
• Какое ключевое слово хорошо подходит как парное к until?
• Какой конец полуинтервала следует взять и почему?

[GassaFM]

У меня нет, кстати, хорошего ответа на последний вопрос.

[frungl]

• Нужен ли он вообще? Хороший ответ — примеры использования, из которых могут следовать ответы на следующие вопросы. Он был бы полезен в некоторых задачах, не хочется писать while с i -= 1 внутри.

• Какое ключевое слово хорошо подходит как парное к until? Почему бы и не downto? Я в данном выборе оперся на Kotlin, там именно так (https://kotlinlang.org/docs/ranges.html#range).

• Какой конец полуинтервала следует взять и почему? В until не включаем конец, так как хотим удобно работать с индексацией массива и.т.д. С downto идея та же, хотим пройти по массиву, но с конца, но не будем же мы везде писать downto -1, это непонятно, значит включаем конец.

[GassaFM]

Хмммм. Я хочу, чтобы "for по умолчанию" был всё-таки на полуинтервалах, как во многих языках. При этом downTo в Котлине это антоним к rangeTo, а не к until.

После обсуждения решили, что неплохо сделать так:

• оставить for ... until на полуинтервале как "дефолтный" вид фора
• добавить for ... upto на отрезке
• добавить for ... downto на отрезке

[GassaFM]

Даже лучше не until, upto, downto, а until, rangeto, downto:

• иначе будет слишком много путаницы между until и upto;
• так названия будут ровно как в Котлине, что, опять же, уменьшит путаницу для тех, кто его знает.