В Haskell есть оператор с фиксированной точкой?

Question

Недавно я заметил, что я довольно часто пишу функции, которые просто итерацию другой функции f, пока она не достигнет фиксированной точки (например, что f x == x)

Я думал, что это довольно общее понятие, так что я думаю, что может быть построен в .

Так что мне было интересно, есть ли встроенный для этого или что-то более общее?

Так что я в основном ищу это:

fixedpoint f x= head . dropWhile(\y->y /= f y) $ iterate f x 

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

Answer 1

У вашей функции есть подпись Eq a => (a -> a) -> a -> a.

Using hoogle to search for that, я не вижу точных совпадений. Ближайший матч until

until :: (a -> Bool) -> (a -> a) -> a -> a

база Прелюдия

until p f дает результат не применяя f до p держит.

Вы, вероятно, может использовать, чтобы написать функцию, но потому, что вам нужно /= вам нужно Eq ограничение.

Answer 2

Просто напишите сами. Прямая версия будет быстрее, чем одна, используя dropWhile.

hammer :: Eq a => (a -> a) -> a -> a 
hammer f x 
    | x' == x = x' 
    | otherwise = hammer f x' 
    where x' = f x 

Answer 3

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

until=<<((==)=<<) :: Eq a => (a -> a) -> a -> a 

Возможно, это выглядит немного странно, но на самом деле это просто точечный эквивалент until (\x -> f x == x) f, используя тот факт, что f (g x) x может быть выражен в (f=<<g) x дважды.