haskell - Haskell 中的类型 `Fix` 和函数 `fix` 如何相同？

Question

我试图说服自己输入 Fix和功能 fix是一回事。
但我找不到他们的定义之间的相关性

-- definition of fix 
fix :: (p -> p) -> p
fix f = let {x = f x} in x -- or fix f = f (fix f)
-- definition of Fix
newtype Fix f = Fix { unFix :: f (Fix f) }

构造函数如何 Fix适合 (x -> x) -> x 的形式?

Answer 1

查看类型构造函数的种类Fix :

> :k Fix
Fix :: (* -> *) -> *

类型构造函数 Fix类似于函数 fix .

数据构造函数是另一回事。遵循 Understanding F-Algebras 中的解释, Fix是一个评估器:它评估类型为 f (Fix f) 的术语生成 Fix f 类型的值.这种评估是无损的；您可以使用 unFix 从结果中恢复原始值.