Haskell函数组成可能

Question

我在研究《 吹牛》中的 Haskell成语

-- split at whitespace
-- "hello world" -> ["hello","world"]

unfoldr (\b -> fmap (const . (second $ drop 1) . break (==' ') $ b) . listToMaybe $ b)

据我所知，文件夹应该是：

unfoldr :: (b -> Maybe (a,b)) -> b -> [a]
unfoldr f b = 
case f b of
  Just (a, new_b) -> a : unfoldr f new_b
  Nothing         -> []

所以fb必须在末尾什么都不输出，对吗？

所以我试图理解f部分fmap (const . (second $ drop 1) . break (==' ') $ b) . listToMaybe $ b) fmap (const . (second $ drop 1) . break (==' ') $ b) . listToMaybe $ b) 。

我有第二个想法，drop，break，listToMaybe。 但是我不知道为什么这样的组合函数不能输出Nothing。

Const始终忽略第二个参数。 那么为什么要使用fmap (const . (second $ drop1) . break (==' ') $ b) . listToMaybe $ b fmap (const . (second $ drop1) . break (==' ') $ b) . listToMaybe $ b到底可以输出什么？

Answer 1

(const . (second $ drop 1) . break (==' '))为[Char] -> b -> ([Char], [Char])

这个复杂的函数只需要一个字符串（例如"one two three" ）和任何参数并返回("one", "two three") 。

因此， (const . (second $ drop 1) . break (==' ')) $ "one two three"采用任何参数并返回("one", "two three") 。

fmap (const . (second $ drop 1) . break (==' ') $ b) . listToMaybe $ b

是相同的

fmap (const . (second $ drop 1) . break (==' ') $ b) $ listToMaybe b

例如，将函数fmapped为Maybe值，但是Maybe实例的fmap定义为：

instance  Functor Maybe  where
    fmap _ Nothing       = Nothing
    fmap f (Just a)      = Just (f a)

这意味着fmap返回Nothing如果a在fmap fa是Nothing 。

listToMaybe返回Just一个列表的第一个元素，或者Nothing ，如果该列表是空的。 这就是为什么

fmap (const . (second $ drop 1) . break (==' ') $ b) $ listToMaybe b

当b为空列表时，将返回Nothing 。

Answer 2

代码以混乱的方式编写。 fmap (const xyz)基本上将Maybe a当作bool开关来滥用：如果它是Just _ᴡʜᴀᴛᴇᴠᴇʀ ，结果将是Just xyz ，而Nothing只是简单地传递了。 在列表为空的情况下， listToMaybe可能Nothing ，这就是这种组合不能产生Nothing 。

所有这些的首选写作风格是

unfoldr (\b -> listToMaybe b *> Just (second (drop 1) (break (==' ') b)))

或者实际上具有良好的老旧do记号

unfoldr $ \b -> do
    listToMaybe b
    return . second (drop 1) $ break (==' ') b

但实际上，显式模式匹配会更加清晰：

{-# LANGUAGE LambdaCase #-}
unfoldr $ \case
   [] -> Nothing
   b -> Just . second (drop 1) $ break (==' ') b