Gerçek dünya zygohistomorphic uygulamaları prepromorphisms

SORU

20 ŞUBAT 2011, Pazar

Gerçek dünya zygohistomorphic uygulamaları prepromorphisms

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

bir şey en azından Uzaktan ve teorik olarak hesaplama açısından yararlı. Bu, id düşüren cevaplar çıktı.
düzeni tüm özellikleri, ıd, ya da sabit veya eşdeğeri geçici olarak kullanın.
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.

CEVAP

20 ŞUBAT 2011, Pazar

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.

Bunu Paylaş: