Haskell语言学习笔记（77）fix

fix

fix 是一个在 Data.Function 中定义的函数，主要用于定义不动点函数。

fix :: (a -> a) -> a fix f = let x = f x in x

fix 函数的定义使用了递归绑定，比较难以理解：

fix f = let x = f x in x = let x = f x in f x = let x = f x in f (f x) = let x = f x in f (f (f x)) = let x = f x in f (f .. (f (f x)) ..) = let x = f x in f . f . ... . f . f $ x

即 fix 函数的实质是无限多次调用函数 f，直至函数 f 结束递归并产生一种能被自身调用的数据结构。
这里的最终参数 x 是一个永远不会被调用的参数，也就是一个占位符。

原文：https://www.cnblogs.com/zwvista/p/9267657.html