бесконечный цикл в функциональном программировании?

Как уже писали другие, бесконечный цикл возможен через хвостовые рекурсии .

Например. loop() будет эффективно работать как бесконечный цикл (в постоянном пространстве стека), поскольку компилятор может оптимизировать хвостовой рекурсивный вызов loop в конце.

let loop() = do {
  println("foo")
  loop()
}

Но

бесконечный цикл - неправильный образ мышления для функционального программирования?

все еще есть точка. Рассмотрим ваш пример Windows-API с бесконечным циклом. Это совсем не функционально. Помните - функциональность означает мышление в ценностях (и в том, что они означают). Следовательно, предпочтительнее использовать реактивный / событийный подход, подобный этому [Псевдофункциональный код]

  (onClick form1)
|> Event.subscribe (\pt-> do { print $ "I was clicked at " ++ (show pt) })

So

мне это не кажется функциональной программой / o.s. мог продолжать работать сам по себе

технически неверно - вы можете реализовать бесконечные циклы - но часто в этом нет (функционального) смысла. Зачем это нужно, кроме какого-то опроса ввода-вывода? Преобразование ценностей чисто функциональным образом должно прекратиться, чтобы иметь смысл.

Если вы используете хвостовую рекурсию, у вас фактически есть итерация, такая как цикл for / while. Следовательно, я думаю, у вас может быть бесконечный цикл без переполнения стека.

На ваш вопрос: «Неужели бесконечный цикл - неправильный образ мышления для функционального программирования?», возможно, это поможет: - Пока или хвостовая рекурсия в F #, что использовать и когда?

У вас может быть бесконечная хвостовая рекурсия, если ваш компилятор ее распознает. Некоторые языки, например схемы, требуют, чтобы компиляторы распознавали хвостовую рекурсию и не выделяли для нее место в стеке.

Изменить. Я не хочу не соглашаться с другими ответами, но "бесконечные" хвостовые рекурсивные циклы - это обычная идиома для работы с внешним миром. Следующий пример взят из Real World Haskell и является представителем этой идиомы.

mainloop :: Handle -> Handle -> IO ()
mainloop inh outh = 
    do ineof <- hIsEOF inh
       if ineof
           then return ()
           else do inpStr <- hGetLine inh
                   hPutStrLn outh (map toUpper inpStr)
                   mainloop inh outh

По сути, мы рассматриваем внешний мир как поток.

Большинство, если не все виды использования «бесконечных циклов» в функциональном программировании можно смоделировать с помощью совместной рекурсии . Другие ответы до сих пор указывали на общую рекурсию, но неограниченное использование рекурсии, возможно, является плохим подходом, поскольку может привести к плохо структурированному коду.