Haskell 不确定如何使用`$`函数
当我试图编写一个函数来转换列表列表时，我看到了一些非常奇怪的东西。我试过：Haskell 不确定如何使用`$`函数,haskell,operators,brackets,Haskell,Operators,Brackets,当我试图编写一个函数来转换列表列表时，我看到了一些非常奇怪的东西。我试过： > let abc xs | null (head xs) = [] | otherwise = map head xs : abc $ map tail xs 我犯了一个错误。然后我试着： > let abc xs | null (head xs) = [] | otherwise = map head xs : abc ( map tail xs ) > abc [[1,2,3], [4,5,6]
> let abc xs | null (head xs) = [] | otherwise = map head xs : abc $ map tail xs
> let abc xs | null (head xs) = [] | otherwise = map head xs : abc ( map tail xs )
> abc [[1,2,3], [4,5,6], [7,8,9]]
[[1,4,7],[2,5,8],[3,6,9]]
我开始相信可以使用
$$infixinfixrinfixla$b$c（a$b）$ca$（b$c）$（映射头xs:abc）$…$（）(.) :: (b->c)->(a->b)->a->c
(f . g) x = f $ g x
f `map` xs == map f xs
（并不是说在这种特殊情况下它看起来很漂亮，只是为了展示一个简单的例子）操作符是一个可以应用于中缀位置的函数。因此，
$infixinfixrinfixla$b$c（a$b）$ca$（b$c）$（映射头xs:abc）$…$（）(.) :: (b->c)->(a->b)->a->c
(f . g) x = f $ g x
f `map` xs == map f xs
（并不是说在这种特殊情况下它看起来很漂亮，只是为了展示一个简单的示例）除了Sassa的正确答案之外，让我们进一步剖析您提供的代码片段：
map head xs : abc $ map tail xs
（：）（$）((map head xs) : abc) $ (map tail xs)
（：）（$）(map head xs) : (abc $ (map tail xs))
（$）maptailxsinfix 8
infix i
iiinfixrinfixl（$）infixr 0 $
（：）（$）（$）顺便说一句，如果一个表达式包含两个具有相同优先级的不同运算符（例如），则它们的应用顺序不清楚，因此必须使用括号明确指定它。除了Sassa的正确答案之外，让我们进一步剖析您提供的代码片段：
map head xs : abc $ map tail xs
（：）（$）((map head xs) : abc) $ (map tail xs)
（：）（$）(map head xs) : (abc $ (map tail xs))
（$）maptailxsinfix 8
infix i
iiinfixrinfixl