zygohistomorphic prepromorphisms的实际应用

是的，这些：

{-#LANGUAGE TypeOperators, RankNTypes #-}
import Control.Morphism.Zygo
import Control.Morphism.Prepro
import Control.Morphism.Histo
import Control.Functor.Algebra
import Control.Functor.Extras
import Control.Functor.Fix
import Control.Comonad.Cofree

zygohistomorphic_prepromorphism 
  :: Functor f
  => Algebra f b
  -> GAlgebra f (ZygoT (Cofree f) b) a 
  -> (f :~> f) 
  -> FixF f 
  -> a
zygohistomorphic_prepromorphism f 
  = g_prepro (distZygoT (liftAlgebra f) (distHisto id))

是的，我知道他们是（HHOS）的笑话。我正在寻找一个简单的黑客价值的真实世界的例子，最后，但并非最不重要的是，将它添加到维基说“这是表达XYZ的惯用方式”。如果你没有提出解决方案，我会对此表示赏心悦目。如果你完全迷失了他们的意思，爱德华在reddit上发布了一个简短的解释。 符合条件的答案必须： 至少做一些远程的，理论上计算上有用的东西。也就是说，减少到

id

的答案就出来了。 使用该方案的所有功能，不传入id，const或等效。 不能用简单的香草褶皱等表达，所以不要仅仅以蜿蜒的方式实施

product

。 奖励积分将给予： 众所周知的问题或算法 解决，分别表达，以一种不寻常的方式获得 清晰度和/或性能 和/或黑客价值 和/或lulz，大致按此顺序，以及 高级答案（耶和华民主） 请注意爱德华的答案如下。您使用的ZHPM实施是您的选择。