class Monad m where
return :: a -> m a
(>>=) :: m a -> (a -> m b) -> m b
(>>) :: m a -> m b -> m b
m >> n = m >>= \_ -> n
fail :: String -> m a
Daha önce hiç yazmadan önce bir denklem (veya işlev bildirimi?) Görmedim. Tipnotta neden bir denklem var?Monad'ın beyanında "m >> n = m >> = _ -> n" lambda notasyonu ile bu denklem nedir?
Biliyorum _ bir öğeyi eşleştirmek için kullanılan bir terimdir. ama ne m >> = \ _ -> n maçı?
Sadece fark ettim ki, \\ _ -> n ** ilk parametreyi atar. – snow