为什么 Haskell 不允许更复杂的中缀表达式？

Question

为什么 Haskell 不允许更复杂的中缀表达式，例如。

xs `zipWith (+)` ys
l `f 0 0` r

至少从 2007 年起，它似乎就已经浮动了。

此页面表明这是因为解析嵌套中缀表达式时出现问题，例如。

x `a `f` b` y

但我还没有找到任何“官方”来源来讨论它。这确实是原因吗？除了我们目前拥有的以外，它是否排除了其他任何情况？显然，一个简单的解决方案是允许任何本身不包含任何中缀表示法的表达式，但这是否太临时了？这种歧义是编译器无法克服的，还是仅仅认为任何潜在的收益都不值得付出努力？我无法立即想到类似的结构，即。其中“开始”和“结束”标记相同，从而判断问题是否已解决。

Answer 1

可以造假

import Data.Function ( (&) ) -- = flip ($)

infixl 3
 <|,
 |>

(<|) :: a -> (a -> b) -> b
(<|) = (&)

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

as :: Num c => [c] -> [c] -> [c]
as xs ys = xs <|zipWith (+)|> ys

bs :: (Int -> Int -> a -> b -> c) -> (a -> b -> c)
bs f l r = l <|f 0 0|> r

另请参阅 InfixApplicative

-- >> cs
-- [9,19,29,39,8,18,28,38]

cs :: [Int]
cs = [1..2] <^flip (-)^> [10,20..40]