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

Question

是的，these ones :

{-#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 发布了 short explanation在 Reddit 上。

合格的答案必须:

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

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

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

奖励积分将给予:

• 众所周知的问题或算法

• 解决，分别表达，以一种不寻常的方式获得 yield

• 清晰度和/或性能

• 和/或黑客值

• 和/或 lulz，大致按此顺序，以及

• 高级答案(民主)

另请注意Edward's answer以下。您可以选择使用哪种 ZHPM 实现。

Answer 1

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

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

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