Haskell相当于scala收集

Question

我正在尝试读取包含表单的键/值对的文件：

#A comment
a=foo
b=bar
c=baz
Some other stuff

如所建议的那样，有各种其他线路。 这想要进入我可以从中查找键的地图。

我最初的方法是读取行并在'='字符上拆分以获得[[String]] 。 在Scala中，我会使用collect ，它接受一个部分函数（在这种情况下类似于\\x -> case x of a :: b :: _ -> (a,b)并将其应用于定义的地方，扔掉函数未定义的值.Haskell有没有相应的这个？

如果不这样做，那么在Haskell中如何做到这一点，无论是沿着我的方向还是使用更好的方法？

Answer 1

通常，这是使用Maybe类型和catMaybes ：

catMaybes :: [Maybe a] -> [a]

所以如果你的解析函数有类型：

parse :: String -> Maybe (a,b)

然后，您可以通过将输入字符串解析为行来构建映射，验证每一行并仅返回定义的值：

Map.fromList . catMaybes . map parse . lines $ s

其中s是您的输入字符串。

Answer 2

List Monad提供您正在寻找的东西。 这可能是通过列表理解最容易利用的，尽管它也适用于符号。

首先，这是Scala实现的参考 -

// Using .toList for simpler demonstration
scala> val xs = scala.io.Source.fromFile("foo").getLines().toList
List[String] = List(a=1, b=2, sdkfjhsdf, c=3, sdfkjhsdf, d=4)

scala> xs.map(_.split('=')).collect { case Array(k, v) => (k, v) }
List[(String, String)] = List((a,1), (b,2), (c,3), (d,4))

现在使用Haskell的列表理解版本 -

λ :m + Data.List.Split
λ xs <- lines <$> readFile "foo"
λ xs
["a=1","b=2","sdkfjhsdf","c=3","sdfkjhsdf","d=4"]

-- List comprehension
λ [(k, v) | [k, v] <- map (splitOn "=") xs]
[("a","1"),("b","2"),("c","3"),("d","4")]

-- Do notation
λ do { [k, v] <- map (splitOn "=") xs; return (k, v) }
[("a","1"),("b","2"),("c","3"),("d","4")]

发生的事情是模式匹配条件是使用Monad的fail方法过滤掉不匹配的情况。

λ fail "err" :: [a]
[]

所以列表理解和做法都是利用fail ，这对此有所贬低 -

map (splitOn "=") xs >>= (
  \s -> case s of
    [k, v] -> return (k, v)
    _ -> fail ""
)