?

Log in

No account? Create an account
Реализация State используя инстанс для Cont - Дважды мудак [entries|archive|friends|userinfo]
Декларативное рулит

Site Meter

[ website | Мой сайт ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Реализация State используя инстанс для Cont [мар. 3, 2017|16:13 pm]
Andy Melnikov
[Tags|, , ]

https://gist.github.com/nponeccop/c20bf5e528be5540b0b696567a950d56

По мотивам http://blog.sigfpe.com/2008/12/mother-of-all-monads.html

return и (>=>) тоже работают если чо.
СсылкаОтветить

Comments:
[User Picture]From: _xacid_
2017-03-03 09:40 pm
http://www.sciencedirect.com/science/article/pii/S0304397506009157

Combining algebraic effects with continuations
(Ответить) (Thread)
[User Picture]From: juan_gandhi
2017-03-03 09:53 pm
Так надо же на твитер сообщать (и sigfpe тоже интересно будет).
(Ответить) (Thread)
[User Picture]From: thedeemon
2017-03-04 04:44 am
Тут же обычный State просто внутрь CState запихнут, это х-ня, а не реализация.
(Ответить) (Thread)
[User Picture]From: nponeccop
2017-03-04 04:59 am
так бинд и ретурн контовские, не?
(Ответить) (Parent) (Thread)
[User Picture]From: lomeo
2017-03-04 12:09 pm
Не хня. Монада-то Cont.

Ну и известная статья: http://blog.sigfpe.com/2008/12/mother-of-all-monads.html
(Ответить) (Parent) (Thread)
[User Picture]From: nponeccop
2017-03-04 12:36 pm
Ccылка на статью в посте уже есть :)
(Ответить) (Parent) (Thread)
[User Picture]From: lomeo
2017-03-10 01:56 pm
Ой.
(Ответить) (Parent) (Thread)