问haskell *>测序算子

EN

“丢弃结果”是指应用程序的结果。对于一个Either来说，这意味着一个Right y。因此，(*>)相当于：

(*>) :: Applicative f => f a -> f b -> f b
(*>) f g = liftA2 (const id) f g

或以另一种形式：

(*>) :: Applicative f => f a -> f b -> f b
(*>) f g = (const id) <$> f <*> g

因此，它运行两个操作并返回第二个结果，但这是在"Applicative上下文“中。

例如，对于一个Either，这被实现为：

实例应用程序( a)，其中纯=右e <*> _=左e_ <*>左e=左e右f <*>右x=右(f x)

这意味着(*>)是为Either实现的，如下所示：

-- (*>) for Either
(*>) :: Either a b -> Either a c -> Either a c
Left x *> _ = Left x
_ *> Left x = Left x
Right _ *> Right x = Right x

或相当于：

-- (*>) for Either
(*>) :: Either a b -> Either a c -> Either a c
Left x *> _ = Left x
_ *> x = x

如果第一个操作数是Right …，它将返回第二个操作数，如果第一个操作数是Left x，则返回Left x。

“结果”是个相当模糊的词，不是吗？当我们谈到Functor、Applicative和Monad时，我们倾向于在某种“上下文”中引用零或更多的值。所以

• IO a：是产生a.
• [a]：类型值的I/O计算，一个类型为零或多个值的列表，或者类型为a.
• Either e a：的一个元素，就像Maybe a一样，但没有a的大小写是用e.
• (x, a)：类型的东西“修饰”，而a类型的值是用一个x类型的“修饰”。
• Identity a：类型为a的值，没有任何上下文。

当你“放弃结果”时，这意味着你关心的是上下文，而不是价值。所以：

I/O做了什么?列表中有多少元素？Nothing

• Was，

• 是值，Just是，decoration?

• No information.

，

• 是decoration？

• No information.

。