какое замечательное мероприятие было этим летом
Oregon Programming Languages Summer School:
cs.uoregon.edu
Lecture Notes и тяжеловесные видео наличествуют.
Можно поглядеть на Пирса, Steve Awodey, Robert Harper, Xavier Leroy и John Hughes. И других товарищей из INRIA и CMU.
Oregon Programming Languages Summer School:
cs.uoregon.edu
Lecture Notes и тяжеловесные видео наличествуют.
Можно поглядеть на Пирса, Steve Awodey, Robert Harper, Xavier Leroy и John Hughes. И других товарищей из INRIA и CMU.
Наикрутейший туториал по монадам: unknownparallel.com
Почему композиция монад не монада? Потому что есть join :: Monad m ⇒ m (m a) → m a, и поотму надо уметь склеивать два конструктора типов в один. Для функторов и аппликативных функторов всё хорошо:
fmap' = fmap . fmap
pure' = pure . pure
(<>) = \f g → (<>) <> f <> g = liftA2 (<*>)
А в монадах никак:
join' :: Monad m,n ⇒ m (n (m (n a)) → m (n a)
Чтобы написать такую функцию необходимо иметь функцию swap :: Monad m,n ⇒ n (m a) → m (n a). В общем случае её написать нельзя. Для частных случаев, например двух Reader monads, можно. Осталось только понять каким законам должна подчиняться функция swap.
fmap' = fmap . fmap
pure' = pure . pure
(<>) = \f g → (<>) <> f <> g = liftA2 (<*>)
А в монадах никак:
join' :: Monad m,n ⇒ m (n (m (n a)) → m (n a)
Чтобы написать такую функцию необходимо иметь функцию swap :: Monad m,n ⇒ n (m a) → m (n a). В общем случае её написать нельзя. Для частных случаев, например двух Reader monads, можно. Осталось только понять каким законам должна подчиняться функция swap.
Bartosz Milewski накатал статейку "Monads in C++". Надо будет почитать на досуге: bartoszmilewski.wordpress.com
А можно ли рассматривать функторы, типа functor(atom1, atom2) из Prolog (если кто помнит) — Как Монады? Я все еще туплю с основами теории категорий.
По моему я уперся в свой ignorance-потолок, с Haskell. Я не знаю, монады и теорию категорий
Welcome to monad hell! Mwahahaha!!!
ErrorT String (Reader (EventAccessors e)) (Get (StateT e (Writer [DecodeError]) a))
ErrorT String (Reader (EventAccessors e)) (Get (StateT e (Writer [DecodeError]) a))
читал сегодня про реализацию state monad в F# — всё круто, но нихуя я эти монады не понимаю T_T