任何人都知道如何使用部分应用的三参数函数中缀haskell

问题描述

|| 我想基于布尔值（参数之一）以不同的方式应用3参数函数。 我希望能够以infix的方式应用它，因此我可以将其链接（下面的示例）。类似于以下内容，但实际上可行。

f :: Bool -> a -> a -> a

f True  i j = i
f False i j = j

... y `(f True)` z `(f False)` b

我需要将布尔作为第二个变量吗？或者是其他东西？我有点迷路。 附言我要这样做的原因是具有可选的附加功能     

解决方法

        具有两个以上参数的函数的中缀表示法是可能的，但不是很好。在你的情况下，给定

f :: Bool -> a -> a -> a
f True i j = i
f False i j = j

你可以写

(True `f` 1) 3

编写（如其他人所建议的）要容易得多：

let ft = f True
let ff = f False

那你可以做

1 `ft` 3 `ff` 5

如果要使用

f

，请输入：

(False `f` ((True `f` 1) 3)) 5

您可以验证

1 `ft` 3 `ff` 5 == (False `f` ((True `f` 1) 3)) 5

    ,        您可以使用反向应用程序运算符来达到类似的效果。但是，对于每个操作员固定性，您都必须定义自己的一对操作员。 这有效：

infixl 5 -|
(-|) :: a -> (a -> b) -> b
(-|) = flip ($)

infixl 5 |-
(|-) :: (a -> b) -> a -> b
(|-) = ($)

infixr 5 =|
(|=) :: (a -> b -> c) -> b -> (a -> c)
(|=) = flip

infixr 5 |=
(=|) :: a -> (a -> c) -> c
(=|) = (-|)

f b x y = if b then x else y

main = do
    putStrLn $ \"qwe\" -| f True |- \"asd\" -| f False |- \"kojo\"
    putStrLn $ \"qwe\" =| f True |= \"asd\" =| f False |= \"kojo\"

并打印：

kojo
qwe

这里的“ 10”和“ 11”括号括起了左联想表达式，而“ 12”和“ 13”括起来了右联想表达式。 请注意，由于这些只是一对独立的运算符，因此在滥用它们时出现的错误消息可能非常晦涩。     ,        据我所知，虽然已提出了中缀表达式语法，但尚未采用它们。 您可以考虑使用

if then else

三元函数，如下所示：

infix 0 ?
(?) :: Bool -> (t,t) -> t
c ? (t,e) = if c then t else e

    ,        好吧，一件事，

f

将是

f :: Bool -> a -> a -> a

有关在前缀设置中使用前缀功能的更多信息，请参见http://www.haskell.org/haskellwiki/Infix_operator#Using_prefix_functions_with_infix_notation。 希望别人更聪明，可以解释为什么

1 `f True` 3 

不起作用，因为

ft = f True
1 `ft` 3

工作正常，这似乎违反了参照透明性... 似乎没有一个“不错”的简单方法，但是我敢肯定有一些适合的高级模式，或者您可以用do20ѭ或折叠...     ,        为什么根本需要布尔函数？如果从未使用过该值，为什么不将f定义为

f :: a -> a -> a  
f i j  
i `f` j

如果确实需要布尔值，则按照Pvital的建议，创建一个ftrue和ffalse并使用它们。