文章基本信息

标题：Update Monads: Cointerpreting Directed Containers
本地全文：下载
作者：Danel Ahman ; Tarmo Uustalu
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2014
卷号：26
页码：1-23
DOI：10.4230/LIPIcs.TYPES.2013.1
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We introduce update monads as a generalization of state monads. Update monads are the compatible compositions of reader and writer monads given by a set and a monoid. Distributive laws between such monads are given by actions of the monoid on the set. We also discuss a dependently typed generalization of update monads. Unlike simple update monads, they cannot be factored into a reader and writer monad, but rather into similarly looking relative monads. Dependently typed update monads arise from cointerpreting directed containers, by which we mean an extension of an interpretation of the opposite of the category of containers into the category of set functors.
关键词：monads and distributive laws; reader; writer and state monads; monoids and monoid actions; directed containers