我正在试图了解这个来自Haskell recursion-schemes包的非常抽象的递归函数是如何工作的(或者,实际上,它是如何工作的!)k e g = a . return where a = embed . fmap (ana (e . project) . a . join) . k . liftM g
特别是,我想了解的是:它是如何应用我首先将源文件加载到Intero中,以尝试使用它的类型到点功能,但这尝试了。然后,我使用GHCi使用cabal repl将其加载到cabal repl中,并尝试一