Haskell “a”是什么意思；“一元结构”；及；“结构元素”；在任意单子的上下文中确切地说是什么意思？_Haskell_Monads_Algebra_Category Theory_Io Monad

Haskell “a”是什么意思；“一元结构”；及；“结构元素”；在任意单子的上下文中确切地说是什么意思？

haskell

Haskell “a”是什么意思；“一元结构”；及；“结构元素”；在任意单子的上下文中确切地说是什么意思？,haskell,monads,algebra,category-theory,io-monad,Haskell,Monads,Algebra,Category Theory,Io Monad,通过阅读Control.Monad的文档，我发现了以下描述：将结构的每个元素映射到一个一元动作，从左到右评估这些动作，并收集结果我很感兴趣，“结构元素”对任意单子意味着什么？例如，State或IOmonad？什么样的结构？我知道mapM函数的作用，在mapM的描述中，我对这个特定单词的语义更感兴趣。这个“结构”是否与“代数结构”的概念有某种联系结构是一个集合，其上定义了一个或多个满足一系列公理的有限运算如果是，那么我要求的这种结构（载波集）的元素是什么，例如IO单子？一般来说？这里的“

通过阅读Control.Monad的文档，我发现了以下描述：

将结构的每个元素映射到一个一元动作，从左到右评估这些动作，并收集结果

我很感兴趣，“结构元素”对任意单子意味着什么？例如，

State

或

IO

monad？什么样的结构？我知道

mapM

函数的作用，在

mapM

的描述中，我对这个特定单词的语义更感兴趣。这个“结构”是否与“代数结构”的概念有某种联系

结构是一个集合，其上定义了一个或多个满足一系列公理的有限运算

如果是，那么我要求的这种结构（载波集）的元素是什么，例如IO单子？一般来说？

这里的“结构”是

可遍历的类的实例（即mapM
签名中的类型构造函数t
）
 这里的“结构”是Traversable
类的实例（即mapM
签名中的类型构造函数t
）
 “结构元素”对于任意单子来说完全没有意义，因为它不引用单子。您所指的mapM
是Traversable
typeclass的成员，它所指的结构是Traversable
。可遍历的是一种可映射的数据结构，如列表或树。“结构元素”指的是列表中的元素。
“结构元素”对于任意单子来说毫无意义，因为它不引用单子。您所指的mapM
是Traversable
typeclass的成员，它所指的结构是Traversable
。可遍历的是一种可映射的数据结构，如列表或树。“结构元素”是指列表的元素