Как остановить рекурсию?

появление кода день 1 требует цикла, в той или иной форме, над длинной строкой круглых скобок, таких как ((((())(())(((()))(( etc. Идея в том, что ( поднимается на один "этаж", ) спускается на один этаж, и цели состоят в том, чтобы напечатать

1. первый индекс в строке, где номер этажа отрицательный и
2. последний этаж, когда конец строки найден.

императивное решение с циклом for простой (Python в качестве примера):

def main():
    flr = 0
    basement = False
    for idx, elt in enumerate(text):
        flr += {
            "(": 1,
            ")": -1
        }.get(elt)

        if flr < 0 and not basement:
            print("first basement pos:", idx + 1)
            basement = True

    print("final floor:", flr)

рекурсивное функциональное решение немного сложнее, но все же не слишком сложно.

def worker(flr, txt, idx, basement):
    flr += {"(": 1, ")": -1}[ txt[0] ]

    if not (len(txt) - 1): return flr

    if flr < 0 and not basement:
        print("first basement floor index: ", idx + 1)
        basement = True

    return worker(flr, txt[1:], idx + 1, basement)


def starter(txt):
    flr, basement, idx = 0, False, 0
    return worker(flr, txt, idx, basement)


if __name__ == '__main__':
    __import__("sys").setrecursionlimit(int(1e5))
    print("final floor:", starter(text))

оба они дают правильный вывод

first basement floor index:  1795
final floor: 74

при запуске против моего ввода вызова.

_{за исключением того, что второй тупой, потому что Python не имеет оптимизации хвостового вызова, но не имеет значения, что}

как я могу реализовать любой из этих факторов? Это то, что меня смущает с тех пор, как я начал использовать фактор.

мы не можем просто использовать цикл for, потому что нет эквивалента, который позволяет нам сохранять изменяемое состояние между итерациями.

мы мог бы используйте рекурсивное решение:

: day-1-starter ( string -- final-floor )
  [ 0 ] dip 0 f day-1-worker 3drop "final floor: %s" printf ;

: day-1-worker 
  ( floor string index basement? -- floor string index basement? )
  day-1-worker  ! what goes here?
  ; recursive

отлично, это скелет, но что происходит в теле day-1-worker? Фактор не имеет никакого способа "раннего возврата" из рекурсивного вызова, потому что нет способа запустить программу в обратном направлении и нет!--37-->концепция возврата-это не имеет никакого смысла.

Я чувствую, что, возможно, рекурсия не является ответом на этот вопрос в факторе. Если да, то как остановить рекурсию?