>> sembolü Haskell

Question

'da ne anlama geliyor? Ben Happstack için Guestbook example okuyordum ve daha önce görmediğim ders kitaplarında daha önce görmediğim >> sembolünü fark ettim (örneğin hat 23'e bakın). Bu ne?

Google'da bulamadım çünkü bu, >> tamamen yok sayar (Bing, ancak bunlarla ilgili olmayan sonuçlarla birlikte gelir). buna ilk birinden sonucu gözardı etmesi dışında iki eylem dizileri ki http://holumbus.fh-wedel.de/hayoo/hayoo.html

(>>), (>>=) gibidir:

Answer 1

yazabilirsiniz Oradan

class Monad m where 
... 
(>>) :: m a -> m b -> m b 
... 
     -- Defined in GHC.Base 
infixl 1 >> 

, sadece daha fazla bilgi edinmek için kaynak koduna bir göz atabilirsiniz .

Ve sadece soruya cevap uğruna:

k >> f = k >>= \_ -> f 

Answer 2

Hayoo operatörü bu tür tanır.

:info >> 

Ve böyle bir sonuç almak:

GHCi komut isteminde

Answer 3

hiçbir Haskell uzman değilim, ama >> birçok arasında ki (alışılmadık bir özelliktir monads, çalışmak için kullanılan bir operatörüdür Diğer şeyler) Haskell'de emir-stil programlamayı mümkün kılar. Monadlarda mevcut birçok ders var; here's one good one.

Esasen, a >> b "a sonra b yapmak ve b sonucunu döndürür etmeyin" gibi okunabilir. Daha yaygın olan bağlayıcı operatörüne benzer. >>=. do-gösterimde

Answer 4

a >> b >> c >> d 

do a 
    b 
    c 
    d 

eşdeğerdir (ve benzer şekilde a >>= (b >>= (c >>= d)) için en iyi yol olan) aşağıda belirtilen

do r1 <- a 
    r2 <- b r1 
    r3 <- c r2 
    d r3