Evet, 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))

Evet, (HHOS) bir şaka olduğunu biliyorum. Basit değer hack ve son ama en az değil, wiki diyerek eklemek için gerçek dünyadan bir örnek arıyorum "Bu XYZ ifade deyimsel yoludur". Benbu ödül bir çözüm ile gelip eğer başarısız olursa koy. Eğer tamamen üzereler ne kaybolursan, Edward reddit short explanation a gönderildi.

Uygun Cevap gerekir:

1. bir şey en azından Uzaktan ve teorik olarak hesaplama açısından yararlı. Bu, id düşüren cevaplar çıktı.

2. düzeni tüm özellikleri, ıd, ya da sabit veya eşdeğeri geçici olarak kullanın.

3. aynı zamanda basit ve vanilya ile ifade edilebilir ya da bu kat, yalnızca dolambaçlı bir şekilde product uygulamak değil.

Bonus puan verilecektir:

• Çok iyi bilinen bir sorun, ya da algoritma

• sırasıyla çözdüğünü ifade edilen, alışılmadık bir şekilde kazanır

• netlik ve/veya performans

• ve/veya hack değer

• ve/veya lulz, kabaca o sırada, yanı sıra

• yüksek rütbeli cevapları (Yaşasın demokrasi)

Ayrıca not Edward's answer aşağıda lütfen. Ne kullanmak sizin seçiminizdir.

Sharon Curtis ve Cheng Shin İşlevsel bir İnci zygomorphisms sonuna kadar yoğun kesimleri bulmak için kullanarak (en fazla kesim meblağlar bir genelleme) yok Mu. Zygomorphisms görünüşte onlara alışık bir kez pencere sürgülü sorunları için iyi bir uyum vardır.

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

Noktalı sabit Mu eşleme kullanımı önlenmiş olacak ekstra kredi için yazarlar aday olurum.