接合组织同态前原态的现实应用

Question

是的，这些：

{-#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）笑话。我正在寻找一个简单的 hack 值的真实示例，最后但并非最不重要的一点是，将其添加到 wiki 中并表示“这是表达 XYZ 的惯用方式”。如果您无法找到解决方案，我将悬赏。如果您完全不知道它们的内容，Edward 发布了一个 简短内容reddit 上的解释。

合格的答案必须：

1. 至少进行一些远程且理论上在计算上有用的事情。也就是说，减少到id的答案已经消失。

2. 使用该方案的所有功能，不传入 id、const 或等效项。

3. 不能用简单的、普通的折叠或类似的方式来表达，所以不要仅仅以蜿蜒的方式实现产品。

奖励分将给予：

• 众所周知的问题或算法

• 以一种不寻常的方式解决，分别表示，收益

• 清晰度和/或性能

• 和/或黑客价值

• 和/或lulz的不寻常方式，大致如此顺序，以及

• 高级答案（耶民主）

另请注意爱德华的回答如下。您可以选择使用哪种 ZHPM 实现。

Answer 1

Sharon Curtis 和 Shin-Cheng Mu 有一个功能珍珠，使用对称性来找到最大密集段（最大段和的概括）。一旦您习惯了对称性，它们似乎就非常适合解决滑动窗口问题。

http://www.iis.sinica .edu.tw/~scm/2010/function-pearl-maximally-dense-segments/

我提名作者获得额外荣誉，因为他们避免使用定点 Mu 函子。

Answer 2

请注意，这些签名已更改，因为它不够通用，我将其（作为一个笑话）包含在我的 递归方案 包。

zygoHistoPrepro 
  :: (Unfoldable t, Foldable t) 
  => (Base t b -> b) 
  -> (forall c. Base t c -> Base t c) 
  -> (Base t (EnvT b (Stream (Base t)) a) -> a) 
  -> t
  -> a

实施也得到了简化。

zygoHistoPrepro f = gprepro (distZygoT f distHisto)

从新的实现中，应该很明显如何通过使用 (Base t)-Branching 放宽约束来实现广义 zygohistomorphic prepromorphism改为 distGHisto。