haskell - 是否可以为应用仿函数使用括号语法糖？

Question

在 McBride and Paterson's 'Applicative programming with effects'他们引入了一些可爱的语法糖来提升纯函数:

[| f x y z |]

为了

f <$> x <*> y <*> z

我记得有人在其他地方使用 li f w x y z il或 il f v w x y z li ，我认为/希望这可能是因为它可以使用一些现有的语言特性和 li的巧妙定义来定义。和 il .

除了论文之外，我找不到任何对此的引用，并假设 [|和 |]不太可能很快出现在 ghc 中，是否可以实现 li和 il不知何故？我想不出适合他们的类型，所以我假设我需要 Template Haskell 或类似的东西，但我知道的还不够多。 [af| f x y ]会很好，但在我开始尝试之前我不知道这是否可能，如果是的话，当然需要帮助。

Answer 1

我认为 this就是你要找的。如果我没记错的话，haskell-cafe 邮件列表上也有关于这种应用程序风格的讨论。