Các ứng dụng trong thế giới thực của tiền chất zygohistomorphic

Vâng, những cái này :

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

Vâng, tôi biết rằng họ là một trò đùa ( HHOS ). Tôi đang tìm một ví dụ trong thế giới thực cho giá trị hack đơn giản và cuối cùng, nhưng không kém phần quan trọng, để thêm nó vào wiki nói rằng "Đây là cách thành ngữ để thể hiện XYZ". Tôi sẽ đặt tiền thưởng cho việc này nếu bạn không đưa ra giải pháp. Nếu bạn hoàn toàn lạc lối về những gì họ đang nói, Edward đã đăng một lời giải thích ngắn trên reddit.

Câu trả lời đủ điều kiện phải:

1. làm một cái gì đó ít nhất từ ​​xa và lý thuyết tính toán hữu ích. Đó là, câu trả lời mà giảm idra.

2. sử dụng tất cả các tính năng của lược đồ, không chuyển qua id, hoặc const hoặc tương đương.

3. không thể biểu hiện rõ bằng một nếp gấp đơn giản như vậy, vì vậy đừng đơn thuần thực hiện producttheo cách uốn khúc.

Điểm thưởng sẽ được trao cho:

• Vấn đề hay thuật toán nổi tiếng

• giải quyết, tương ứng được thể hiện, theo một cách bất thường mà đạt được

• sự rõ ràng và / hoặc hiệu suất

• và / hoặc giá trị hack

• và / hoặc lulz, theo thứ tự đó, cũng như

• câu trả lời cao cấp (dân chủ yay)

Xin lưu ý câu trả lời của Edward bên dưới. Những gì ZHPM thực hiện bạn sử dụng là sự lựa chọn của bạn.

Sharon Curtis và Shin-Cheng Mu có Ngọc trai chức năng sử dụng các hợp tử để tìm các phân đoạn dày đặc tối đa (tổng quát hóa các tổng phân đoạn tối đa). Các hợp tử dường như rất phù hợp cho các vấn đề cửa sổ trượt một khi bạn đã quen với chúng.

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

Tôi sẽ đề cử các tác giả để có thêm tín dụng vì họ đã tránh sử dụng Mu functor điểm cố định.

Lưu ý, chữ ký của những thứ này đã thay đổi, vì nó không đủ chung chung và tôi đã bao gồm nó (như một trò đùa) trong gói đệ quy của tôi .

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

Việc thực hiện cũng được đơn giản hóa.

zygoHistoPrepro f = gprepro (distZygoT f distHisto)

Và từ việc triển khai mới, rõ ràng làm thế nào để thực hiện một prepromorphic zygohistomorphic tổng quát , bằng cách nới lỏng các ràng buộc mà bạn có một (Base t)-Branchingluồng, thông qua việc sử dụng distGHistothay thế.