在Haskell中,这是固定点的简单(幼稚)定义
fix :: (a -> a) -> a fix f = f (fix f)
但是,以下是Haskell实际实现它的方式(更有效)
fix f = let x = f x in x
我的问题是,为什么第二个比第一个更有效?
https://stackoverflow.com/questions/37366222
相似问题