Реальные применения зигогистоморфных препроморфизмов в реальном мире

Да, эти :

{-#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извилистым способом.

Бонусные баллы будут начислены:

• Хорошо известная проблема или алгоритм

• решается, соответственно выражается, необычным образом, что выигрывает

• ясность и / или производительность

• и / или ценность хака

• и / или lulz, примерно в таком порядке, а также

• высокопоставленные ответы (уй демократия)

Пожалуйста, обратите внимание на ответ Эдварда ниже. Какую реализацию ZHPM вы используете - ваш выбор.

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

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

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

Обратите внимание, что их подпись изменилась, потому что она была недостаточно общей, и я включил ее (в шутку) в свой пакет схем рекурсии .

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вместо этого.