Sekwencjonowanie wiąże się z czystymi funkcjami

Question

Często chciałbym wprowadzić regularne funkcje do sekwencji "binded". Jak w tym przykładzie contrived:

getLine >>= lift (map toUpper) >>= putStrLn 

muszę zdefiniować funkcję podnoszenia lift :: (a -> b) -> a -> m b do tej pracy. Problem polega na tym, że nie znam takiej funkcji, i nie wydaje mi się, że jest to Hoogle. Uważam, że to dziwne, ponieważ to ma dla mnie sens.

Prawdopodobnie istnieją inne sposoby, aby to zadziałało, ale podoba mi się sposób, w jaki bezdotykowy kod pozwala mi przeskanować linię w jednym przejściu, aby dowiedzieć się, co się dzieje.

let lift f x = return (f x) in 
getLine >>= lift (map toUpper) >>= putStrLn 

Moje pytanie sprowadza się do tego: czy brakuje mi czegoś lub jak to się dzieje, że nie ma funkcji takiej jak winda. Moje doświadczenie w Haskell jest nadal bardzo ograniczone, więc zakładam, że większość ludzi rozwiązuje to w inny sposób. Czy ktoś może mi wytłumaczyć idiomatyczny sposób rozwiązania tego problemu.

Answer 1

Istnieją trzy sposoby idiomatyczne.

1. Nie używaj wiązania; użyć pierwszego trafienia na poszukiwaniu Hoogle zamiast:

   liftM (map toUpper) getLine >>= putStrLn 
   

   Istnieje wiele alternatywnych pisowni liftM, takich jak fmap lub (<$>).

2. Inline funkcja lift zdefiniowano:

   getLine >>= return . map toUpper >>= putStrLn 
   

3. wykorzystać prawa monada bezpiecznik dwie ostatnie wiąże się w opcji 2:

   getLine >>= putStrLn . map toUpper 
   

Answer 2

Użyj instancji Functor w takich przypadkach:

> import Data.Char 
> import Data.Functor 
> map toUpper <$> getLine >>= putStrLn 
foo 
FOO 
>