Застосування реального світу зигогістоморфних препроморфізмів

Так, це :

{-#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.

Придатні відповіді повинні:

1. зробити щось хоча б віддалено і теоретично корисно для обчислень. Тобто відповіді, які зводяться до того, не idє.

2. використовувати всі функції схеми, не передаючи id, або const, або еквівалент.

3. не однаково добре виражається простою, ванільною складкою або подібною, тому не просто реалізовуйте productлукавий спосіб.

Бонусні бали будуть надані:

• Загальновідома проблема або алгоритм

• вирішується, відповідно виражається, незвичним способом, який отримує

• чіткість та / або ефективність

• та / або значення злому

• та / або люлз, приблизно в такому порядку, як і

• відповіді високого рангу (так, демократія)

Також зверніть увагу на відповідь Едварда нижче. Яку реалізацію ZHPM ви використовуєте - це ваш вибір.

Шарон Кертіс і Шін-Чен Му мають функціональну перлину, використовуючи зигоморфізми для пошуку максимально щільних сегментів (узагальнення максимальних сум сегмента). Зигоморфізми, здається, добре підходять для проблем із розсувними вікнами, коли ви звикли до них.

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

Я запропонував би авторам додатковий кредит, оскільки вони уникали використання функціонера Mu з фіксованою точкою.

Зауважте, підпис цих змін змінився, оскільки він був недостатньо загальним, і я включив його (як жарт) до свого пакету рекурсійних схем .

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потоком, шляхом використання distGHistoзамість цього.