Monadなんてどうってことなかった - Monadなんてただの侏クラス
6 likes2,032 views
暴が尖盾したHaskellのMonadについておします。 Monad徭悶は崛ってgで、なんでもできます。なんでもできるからyしいのです。 MonadはみんなC嬬が匯してバラバラですが、寄並なことはだいたい>>=bindv方がやっています。 みんなそれぞれ>>=が`うだけなんです。
![ただの侏クラスだけど`った
こんなん
foo = do
tell ["hello, "]
tell ["world!"]
だったり、](https://image.slidesharecdn.com/monad-150323071131-conversion-gate01/85/Monad-Monad-6-320.jpg)
Monadなんてどうってことなかった - Monadなんてただの侏クラス
- 4. Monadなんてどうってことなかった ただの侏クラスだった こういう協xの侏クラスだった class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b
- 5. ただの侏クラスだけど`った なんか笋癖垢し修できる hoge uID = do fname <- lookup uID firstNameDB lname <- lookup uID lastNameDB return $ fname ++ lname だったり、
- 6. ただの侏クラスだけど`った こんなん foo = do tell ["hello, "] tell ["world!"] だったり、
- 7. ただの侏クラスだけど`った こんなんだったり...。 main = do putStr "こんなんだったり" replicateM_ 3 $ do threadDelay 1000000 putStr "." putStrLn "。" 採がどうなってんの。
- 12. desugarしたらもっとgだった lookup uID firstNameDB >>= (fname -> ...) >>=?がなんかしてる やっぱりJustかNothingか登協してる
- 15. 揖じなのは 箭のモナドt。
- 17. 箭のモナドt do隈で do a <- do b <- foo bar b baz a みたいにいたり、
- 18. 箭のモナドt do隈で do b <- foo do a <- bar b baz a みたいにY栽の碧圭に櫃鯤垢錣覆てよくなっていること ┐海寮と念のスライドの箭が駅ず揖じ吭龍になること
- 19. `うのは >>=でやってること。