haskell - 使用列表理解查找列表中的单个元素

Question

函数valueOf从元组列表中获取相应String的Int值。有人能解释一下第三行是如何工作的吗？

type State = [(String,Int)]

valueOf :: State -> String -> Int
valueOf xs var  = head [b | (a,b) <- xs , a ==var ]

我从未见过这样的 Haskell 表达式，我更习惯这样的表达式:

(\xs -> length xs > 15)

Answer 1

没有 lambda 表达式。您看到的是列表理解，这是一种创建满足特定条件的值列表的方法。

在这种情况下，理解 [b | (a,b) <- xs , a ==var ]意思是这样的:创建所有 b 的列表这样(a, b)是列表 xs 的一个元素，其中a等于var .

在命令式伪代码中，您可以将其编写为

result = EMPTY_LIST
for (a,b) in xs:
    if a == var:
        result.add(b)
return result

所以，整个 valueOf函数的工作原理是生成具有正确 String 的值列表键，然后使用 head函数获取第一个。请注意，如果没有匹配，整个计算将崩溃。