在haskell中使用flip更改函数和列表的参数顺序_Haskell

在haskell中使用flip更改函数和列表的参数顺序

haskell

在haskell中使用flip更改函数和列表的参数顺序,haskell,Haskell,本人有以下资料：我试着用更类似于 applylike myfunction toList 而不是 applylike tolist myfunction 我理解： flip f的前两个参数的顺序与f相反 >>> flip (++) "hello" "world" "worldhello" 这是我的原创作品： import Data.Foldable (for_) :t flip -- 1 for_ [1..10] $ (\x -> T.putStrLn $ T.

本人有以下资料：

我试着用更类似于

applylike myfunction toList

而不是

applylike tolist myfunction

我理解：

flip f的前两个参数的顺序与f相反

>>> flip (++) "hello" "world"
"worldhello"

这是我的原创作品：

import Data.Foldable (for_)

:t flip
-- 1
for_ [1..10] $ (\x -> T.putStrLn $ T.pack $ show x )
-- success

但当我尝试直接应用它时，它失败了：

-- 2
flip for_ $ (\x -> T.putStrLn $ T.pack $ show x ) [1..10] 
-- fail

但是，我注意到，如果我删除1中所需的$operator，它将成功：

-- 3
flip for_ (\x -> T.putStrLn $ T.pack $ show x ) [1..10] 
-- success

但我不明白为什么扫描正确。当我从原始的非翻转版本1中删除$operator时，也会失败

-- 4    
for_ [1..10] (\x -> T.putStrLn $ T.pack $ show x )
-- fail

如何解析$在1中需要，在3中不需要

使现代化道歉：以上4项确实成功。我在调查这件事的时候一定是打错了字，这无疑增加了我的困惑。对于未来的读者来说，4不会失败，宇宙更有意义，下面接受的评论和答案对本次调查非常有帮助。

因为$operator就是这样工作的。此运算符不是Haskell语法的一部分，而是一个常规的用户定义运算符，与其他运算符一样。它的定义如下：

f $ x = f x

因此，如果你写了如下内容：

f a $ b

f $ a b

这与：

f a b

f (a b)

但是如果你写了这样的东西：

f a $ b

f $ a b

这与：

f a b

f (a b)

这是因为函数应用程序AB，即应用于参数b的函数a在Haskell中具有最高的优先级，没有比函数应用程序（包括$运算符）更强大的绑定

因此，您的第一次尝试：

flip for_ $ (\x -> T.putStrLn $ T.pack $ show x ) [1..10]

实际上相当于：

flip for_ ( (\x -> T.putStrLn $ T.pack $ show x ) [1..10] )

这显然不是你的意思。