haskell - 如何简化这个表达式？

Question

考虑一下:

map fromEnum $ zipWith (==) "aaaa" "abaa"
-- [1,0,1,1]

如果这里只有一步就好了:

zipWith (\x y -> fromEnum (x == y)) "aaaa" "abaa"

现在我可以消除y:

zipWith (\x -> fromEnum.(x ==)) "aaaa" "abaa"

但我未能消除x。当然“作弊”也是有办法的……

zipWith (curry (fromEnum . uncurry (==))) "aaaa" "abaa"

...但这看起来比原来的 lambda 更难看。

我寻找的函数有点类似于Data.Function.on，但“相反”。我感觉有一个非常简单的解决方案可以解决这个问题。我是否忽略了什么？

Answer 1

zipWith (\x -> fromEnum . (x ==)) "aaaa" "abaa"

可以写成

zipWith (\x -> (fromEnum .) (x ==)) "aaaa" "abaa"

可以写成

zipWith ((fromEnum .) . (==)) "aaaa" "abaa"

如果你觉得这篇文章可读性取决于品味，我想。

编辑:另一个好方法是使用 some combinators by Matt Hellige :

zipWith ((==) $. id ~> id ~> fromEnum) "aaaa" "abaa"