Haskell中的棘手阶乘

Question

有没有办法在 Haskell 中创建函数来计算阶乘，使用以下函数：

fix f = f (fix f)

Answer 1

原创

fac = (fix ((1:) . zipWith (*) [1..]) !!)

Answer 2

是的。琐碎的方法：

factorial = fix go 1 where
  go f acc n = fact acc n

在哪里fact acc n === acc * n!。当然，这是一个完全荒谬的定义。

你能看到如何修改荒谬的定义，使其使用f 参数吗？希望这将模仿您已经编写的显式递归定义的结构。