Question

我最近偶然发现了通用的Control.Applicative.optional组合器：

optional :: Alternative f => f a -> f (Maybe a)
optional v = Just <$> v <|> pure Nothing

但我对该组合器的实际用途并不多;例如当应用于列表或Maybe之类的纯函子时，结果似乎不太有用：

> optional [1,2,3]
[Just 1,Just 2,Just 3,Nothing]

> optional Nothing
Just Nothing

> optional (Just 1)
Just (Just 1)

...... optional会有什么更明智的应用？

Answer 1

对于允许失败的任何计算进行建模非常有用。

例如，假设您正在处理STM并具有以下功能：

-- A database of Ints stored in a TVar
intDatabase :: TVar (ComplexDatabaseStructure Int)

-- Inserts an Int in the int database.
insertInt :: Int -> STM ()

-- Organizes the DB so that it is more efficient
optimizeDb :: STM ()

-- Checks whether an Int is in the DB
lookupInt :: Int -> STM Bool

现在，插入后优化很好，但并不重要。所以你可以看到这种用法：

insert2AndCheck1 a b c =
  insertInt a *> insertInt b *> optional optimizeDb *> lookupInt c

此函数插入两个整数，然后尝试来优化数据库，但如果失败（因为STM原因，就像有人在当时插入某些内容一样），它不是很大处理;我们还是继续。

optional适用于STM，以及Control.Monad.Error中的任何错误monad，以及许多不同的内容;当然也适用于纯计算。

“Control.Applicative.optional”的非解析器示例

1 个答案: