总结摘要. (如果monad是“不纯计算的类型")

问题描述

用精妙的摘要表示-对Monads的描述似乎赢得-将它们描述为不纯计算的类型".

什么是对同伴的精简(单句)描述?

解决方案

一种用于上下文相关计算的类型"

或者，更好的对单子的虚假描述"可能是输出杂质的类型"，在这种情况下，对共纳原子的虚假描述是输入杂质的类型".

(如果您对comonads感兴趣，在我的一些演讲幻灯片中会提供更多介绍: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf )

In terms of pithy summaries - this description of Monads seems to win - describing them as a 'type for impure computation'.

What is an equivalent pithy (one-sentence) description of a comonad?

解决方案

"A type for context-dependent computation"

Alternatively, a better "pithy description" for monads might be a 'type for output impurity', in which case then the pithy description for comonads is a 'type for input impurity'.

(If you are interested in comonads, some more introduction is given in some talks slides of mine: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf)

这篇关于总结摘要. (如果monad是“不纯计算的类型")的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！