Fonksiyonel Programlamada Dizilimi Anlama

Question

Çoğunlukla pratik bir adamım ama bunu ilginç buluyorum.

Monadik sıralama hakkında düşünüyordum ve açıklığa ihtiyacım olan birkaç adet var. Yani aptal görünme riski burada öyle:

bind :: m b -> (b -> m c) -> m c

size ara değerlere açık erişim sağlayarak "eylemleri" sırası olabilir

monadic üye bağlanır. Ben sırası olabilir Bununla

(.) :: cat b c -> cat a b -> cat a c

ve ara değerlere erişebilirsiniz:

Bu nasıl kategorik üye (.) bana daha fazla veriyor. Tüm (f . g) x = f(g (x)).

(.) ile sıralı hale getirebiliyorsam, sıralama için neden bind'a ihtiyacım var?

Answer 1

Doğru yoldasınız. Her monad Kleisli category sözde yükselir. Her monadın için m karşılık gelen Kleisli kategorisi oklar a -> m b vardır ve

f >=> g  = \x -> f x >>= g 

Kleisli tipi Haskell tipi sisteminde bu kapsüller gibi tanımlanmıştır >=> kullanılarak oluşabilir, bunun bir örneği

instance Monad m => Category (Kleisli m) where 
    id = Kleisli return 
    (Kleisli f) . (Kleisli g) = Kleisli (g >=> f) 

sahip olduğunu görebilir

Bu kategorideki sıralı hesaplamalar, >>= kullanılarak eşzamanlı olarak ifade edilebilen >=> kullanılarak yalnızca sıralama işlemidir.

Biz daha uygun olduğu için return ve >>= kullanarak monads tanımlamak, ama biz istediğimiz takdirde return ve >=> kullanarak onları da tanımlayabiliriz.

(aynı zamanda Different ways to see a monad için my answer bakınız.)