haskell - 如何从元组列表中构建函数？

Question

我想转换这个元组列表:

[(1,'a'),(2,'b') ... ]

一个可以写成这样的函数:

g :: Int -> Char
g 1 = 'a'
g 2 = 'b'
 .
 .
 .

用例:

g 1  -- | 'a'

Answer 1

这种函数的签名是 [(a, b)] -> a -> b 。听起来像是一个普通的操作，所以let's search on Hoogle 看看它是否已经存在。哦，几乎是这样，它被称为 lookup :

lookup :: Eq a => a -> [(a, b)] -> Maybe b

lookup key assocs looks up a key in an association list.

我们需要做的是翻转前两个参数(使用 flip )并从结果中去除 Maybe (与 fromJust 组合)。结果:

g :: Int -> Char
g = fromJust . flip lookup [(1,'a'),(2,'b'),(3,'c')]