哈斯克尔的严肃口音

Question

我是Haskell编程的新手.我试图理解这种语言的语法和语义.我对严重口音的语义有点好奇.当我们使用严重重音时,为什么此代码有效？

elem' :: (Eq a) => a -> [a] -> Bool  
elem' a [] = False  
elem' a (x:xs)  
    | a == x    = True  
    | otherwise = a `elem'` xs {-grave accent used in this line -}

Answer 1

反引号用于将任何二元函数视为中缀运算符.

a `elem'` xs

是完全相同的

elem' a xs

它是(+)使用二元运算符作为函数的补充:

(+) 3 5

是完全相同的

3 + 5