Познавательная статья
(pdf)Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform. T.Rompf, I.Maier, M.Odersky.
Besides that, it is common knowledge that delimited continuations are able
to express any definable monad (Filinski 1994, 1999).
Это я на потихоньку решил вытащить все посты из draft'ов. Сначала мелкие, а потом, когда время и желание будет -- крупные.
Комментариев нет:
Отправить комментарий