![Монада List
data [a] = []
| a :: [a]](https://image.slidesharecdn.com/anton-k-monad-for-drums-present-160326091829/85/-26-320.jpg)
![Монада для []
instance Monad [] where
return a = [a]
xs >>= f = concat (map f xs)](https://image.slidesharecdn.com/anton-k-monad-for-drums-present-160326091829/85/-28-320.jpg)
Монады для барабанщиков. Антон Холомьёв
- 2. Почему так трудно понять монады ? ● Необычное понятие ● Синтаксис языка ещё не ясен, но монады понять нужно ● Неудобное для новичка определение монады ● Из определения неясно, зачем нужны эти ваши монады
- 3. Зачем нужны монады в Haskell ? def getTwo(): a = getChar() b = getChar() return (a, b) def getOne(): a = getChar() return (a, a)
- 4. Как Haskell видит этот код ? def getTwo(): return ( getChar() , getChar() ) def getOne(): return ( getChar() , getChar() )
- 5. Порядок вычисления Haskell Py Hs def getTwo(): a = getChar() 1 2 b = getChar() 2 3 return (a, b) 3 1 Py Hs def getOne(): a = getChar() 1 2 return (a, a) 2 1
- 6. Пример противоречий Py Hs def dialog(): println('Как вас зовут?') 1 name = getString() 2 println('Привет, ' + name) 3 return () 4 1
- 7. Все функции чистые def getTwo(): a = getChar() b = getChar() return (a, b) def getOne(): a = getChar() return (a, a)
- 8. Почему это не работает в Haskell? ● Все функции чистые ● функция строит результат только из того, что ей передали на входе ● Результат функции полностью определяется аргументами ● Порядок вычисления следует из функциональных зависимостей (ленивое вычисление)
- 9. Ключевая идея !!! Монады нужны для задания порядка вычислений
- 10. Если у нас есть оператор порядка (>>=) :: Expr -> Expr -> Expr ( a = getChar() ) >>= ( return (a, a) )
- 11. Если у нас есть оператор порядка (>>=) :: ??? (getChar() ) >>= (a -> return (a, a) )
- 12. IO = Значение + Контекст вычислений (>>=) :: IO a -> (a -> IO b) -> IO b ( getChar() ) >>= ( a -> return (a, a) )
- 13. IO = Значение + Контекст вычислений (>>=) :: IO a -> (a -> IO b) -> IO b return :: a -> IO a ( getChar() ) >>= ( a -> return (a, a) )
- 14. IO = Значение + Контекст вычислений data IO a = IO (RealWorld -> (a, RealWorld)) f :: a -> IO b
- 15. IO = Значение + Контекст вычислений
- 16. Пример с двумя запросами к пользователю (>>=) :: IO a -> (a -> IO b) -> IO b return :: a -> IO a ( getChar() ) >>= ( a -> ( getChar() ) >>= (b -> return (a, b)) )
- 17. Зачем нужны монады в Haskell ? getTwo () = getChar() >>= (a -> getChar() >>= (b -> return (a,b))) getOne () = getChar() >>= (a -> return (a, a))
- 18. Do-нотация getChar () >>= (a -> expr(a)) do a <- getChar() expr(a)
- 19. Do-нотация getTwo = do a <- getChar b <- getChar return (a, b) getOne = do a <- getChar return (a, a)
- 20. Пример противоречий dialog = do print "Как вас зовут?" name <- getString print ("Привет, " ++ name) return ()
- 21. Do-нотация без аргумента print "Привет!" >>= (_ -> expr()) do print "Привет!" expr()
- 22. Класс Monad class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b (>>=) читается как bind
- 23. Монада Maybe data Maybe a = Nothing | Just a
- 24. Композиция частично определённых функций
- 25. Монада для Maybe instance Monad Maybe where return a = Just a ma >>= f = case ma of Nothing -> Nothing Just a -> f a
- 26. Монада List data [a] = [] | a :: [a]
- 28. Монада для [] instance Monad [] where return a = [a] xs >>= f = concat (map f xs)
- 29. Что стоит за оператором >>= (>>=) :: m a -> (a -> m b) -> m b (>>=) :: a -> (a -> b) -> b (=<<) :: (a -> b) -> a -> b :: ($) (>>=) это ($) для значений в контексте m с изменённым порядком аргументов
- 30. Ключевая идея! Нет царского пути в геометрию — Евклид
- 31. Узнать больше ● Monads for drummers (https://github.com/anton-k/monads-for-drummers ) ● Dan Piponi о Монадах. Перевод на хабре (http://habrahabr.ru/post/96421/) ● Антон Холомьёв. Учебник по Haskell (главы 6, 7, 8) (http://anton-k.github.io/ru-haskell-book/book/toc.html ) ● Philip Wadler. The essence of Functional Programming ● Simon Peyton Jones. Tackling the awkward squad (google search)
- 32. Благодарю за внимание! ● github: anton-k ● email: anton.kholomiov на gmail . com