我想编写一个使用Either 值的函数和两个函数。它仅应用与内部类型兼容的功能之一。完全在努力实现这一目标。
mapAorB :: (x -> z) -> (y -> w) -> Either x y -> Either z w
【问题讨论】：
Either是bifunctor所以这只是bimapEither。
标签： haskell functional-programming
首先写出函数的所有参数
mapAorB :: (x -> z) -> (y -> w) -> Either x y -> Either z w
mapAorB xz yw eitherxy = undefined
然后确定是否可以匹配任何参数。这里只有Either可以。将参数扩展为模式案例：
mapAorB xz yw (Left x) = undefined
mapAorB xz yw (Right y) = undefined
通过函数的规范，我们知道如果我们输入Left x，那么我们将得到Left z，同样，如果我们输入Right y，它将返回Right w。这给出了一个额外的提示：
mapAorB xz yw (Left x) = Left z where z = undefined
mapAorB xz yw (Right y) = Right w where w = undefined
那么您如何定义z 和w？
【讨论】：
Left 和Right 所做的，他们选择内容的类型。 EIther 的定义是data Either a b = Left a | Right b。 Left中的内容只能是a类型，Right中的内容只能是b类型。