如何從元組列表中構建函數？

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查找在關聯列表中的關鍵。

我們需要做的是翻轉前兩個參數（使用flip）和剝離Maybe不在結果（用fromJust組成）。結果：

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