y-combinator- все статьи тега

Как я могу использовать fix, и как это работает?

Я был немного смущен документация fix (хотя я думаю, я понимаю, что он должен делать сейчас), поэтому я посмотрел на исходный код. Это еще больше сбило меня с толку: fix :: (a -> a) -> a fix f = let x = f x in x как именно это возвращает неподвижную точку? я решил попробовать его в командной строке: Prelude Data.Function> fix id ... и он висит там. Теперь, чтобы быть справедливым, это на моем старом macbook, который немного медленный. Однако, эта функция не может быть слишком ...