如何应用在Haskell中工作的第一个部分函数？

Question

假设我有一个列表fns的从部分功能a到b,我所代表的功能从a到Maybe b,并且我有一个对象x类型的a.假设现在我要定义另一个函数从a到Maybe b这需要第一的价值f x,是不是Nothing,如果这样的f存在fns,或价值Nothing,如果没有这样的f存在.所以基本上它f x是第一个f有效的输出,或者Nothing如果没有f效果.

提出一些能够完成这项工作的代码并不难.例如,可以创建一个列表从中[f x| f <- fns]删除所有Nothings,然后取结果列表的头部,或者Nothing如果该列表为空.但这感觉很笨拙,这似乎是一种普遍的情况,在Haskell中使用一些内置函数可以实现更加时尚的实现.如果是这样,那么我有兴趣知道它是什么.

Answer 1

这Alternative是为了什么.它代表选择,在这里您可以选择Maybe值.你可以做点什么

foldr (<|>) empty [f x | f <- fns]

在Data.Foldable你也有asum :: (Foldable t, Alternative f) => t (f a) -> f a更直接地做你想要的东西:

asum [f x | f <- fns]

作为旁注,我应该注意到它MonadPlus也为你的Maybe实例做了你想要的.如上所述,你可以拥有

foldr mplus mempty [f x | f <- fns]

和

msum [f x | f <- fns]

但你应该Alternative在这里使用IMO ,因为它更准确地传达了你的"选择"的含义.

Answer 2

在Data.Monoid,被称为"一开始"行为的newtype副本.MaybeFirstJust

如果您正在寻找类型的功能

[a -> First b] -> a -> First b

根据你描述的行为,它就是这样

fold

from Data.Foldable,因为monoid行为a ->需要逐点提升:Monoidfor a -> First b正好选择了第一个应用结果.可悲的是(因为我的眼泪已经很多了),Maybe而不是First需要多做一些工作.

请注意,逐点提升,a ->通过[],只是那种工作sequenceA,所以

(asum .) . sequenceA

会做的.

从类型中获取需要提示的monoid结构是很好的:在这种情况下,访问Alternative行为asum必须要做.