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

Question

我想根据布尔值（参数之一）以不同的方式应用 3 个参数函数。

我希望能够以中缀方式应用它，以便我可以链接它（下面的示例）。类似于以下内容，但实际上有效。

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

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

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

我需要将 Bool 作为第二个变量吗？或者是其他东西？我有点迷路了。

PS我想这样做的原因是有可选的附加功能

Answer 1

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

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

Answer 2

您可以使用反向应用运算符来实现类似的效果。但是，对于每个运算符的固定性，您都必须定义自己的一对运算符。

这有效：

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

这里-|和|-括号括起左结合中缀表达式和=|和|=括起右结合表达式。

请注意，由于它们只是成对的独立运算符，因此误用它们时的错误消息可能非常模糊。

Answer 3

虽然已经提出了中缀表达式语法，但据我所知，它们尚未被采用。

您可能会考虑使用if then else三元函数，如下所示：

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

Answer 4

好吧，一方面，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

工作正常，这似乎违反了参考透明度......

似乎没有一种“好”的简单方法可以做到这一点，但我确信有一些更高级的模式适合，或者你可以做一些事情，例如，zipWith或折叠......

Answer 5

为什么你需要布尔函数呢？如果该值从未使用过，为什么不将 f 定义为

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

如果确实需要布尔值，那么正如 Pvital 建议的那样，创建一个 ftrue 和 ffalse 并使用它们。