Haskell fonksiyon kompozisyonu boru ve filtre mimari modelinin bir örneğidir

Boru ve filtre mimari modeli, her bir elemanın çıktısı bir sonrakinin girişi olacak şekilde düzenlenmiş bir işleme elemanları zinciri olarak tanımlanır . Her örnek, bir tür paylaşılan arabellek yoluyla gerçekleştirilen süreçler arası veya zincirler arası bağlantıyı göz önünde bulundurur.

Bana göre Haskell fonksiyon kompozisyonu aynı görevi yerine getiriyor . Sadece işlev siparişi ile ilgili olsa ve boru olarak açık bir tampon kullanılmasa bile bu modelin bir örneği olduğunu söyleyebilir miyiz? Evet ise, tembel olmayan bir dil için de aynı şeyi söyleyebilir miyiz?

Bağlantılılar, ancak bağlantı başka türlü (bir çeşit).

Uygun bir kategorideki morfizm kompozisyonu, hem fonksiyon kompozisyonunu (kategorinin Setkatı bir dil ve CPOtembel bir dil için olduğu yerde) hem de işlem kompozisyonunu (kategorinin, nesnelerin dizeler olduğu, morfizmlerin kabuk olduğu (AFAIK, adsız) kategorisi olduğu) doğru bir şekilde modeller. süreçler ve kompozisyon boru operatörüdür). Kabuk süreçleri, genelliği veya doğruluğu kaybetmeden, türün (tembel) işlevleri olarak görülebilir ve türün String -> WriterT String IO Stringsaf işlevleri, tür işlevlerine String -> Stringkayıpsız bir şekilde dönüştürülebilir String -> Identity String, bu nedenle her ikisi de gerçekten sadece (>>=)gizlidir.

Bir fark var. Borular ve filtreler veri ve veri bağlantıları ile ilgilenirken Haskell Fonksiyon Kompozisyonu birinci sınıf fonksiyonlarla ilgilenir . Birinci sınıf fonksiyonlar, boruların ve filtrelerin olmadığı şekillerde birleştirilebilir.

İleri Okuma
Kompozisyon, fonksiyonel programlama bağlamında ne anlama geliyor?