使用地图和$用于函数应用程序的Haskell eta约简

Question

嗨，我有一个任务来编写一个函数，该函数从Int -> Int和单个Int中获取函数列表，并检查应用于该Int函数是否得出大于5的结果。

这是我的解决方案：

foo :: [Int -> Int] -> Int -> Bool
foo ls = any (>5) . f ls
     where f ls v = map ($ v) ls

我想知道是否有一种方法可以用eta减少最后一个参数（现在是eta减少但不是单行）在单行中编写（不使用where或let）。 我尝试过这样的事情：

foo ls = any (>5) . flip map ls

但是现在的问题是调用函数看起来像这样才能正常工作

foo [(+3), (*4), (+1)] ($2)

我想避免在最后一个论点中写$。 我尝试过这样的事情（和类似的事情）：

foo ls = any (>5) . flip map ls ($)

但是我总是会遇到一些错误。 请注意，我不能更改类型签名，也不能更改翻转。

Answer 1

有办法吗？ 当然。 可读吗？ 不能。Haskell的设计使您摆脱一些常见的错误，例如不必要的可变性或（必要的）可变状态的隐藏使用。 但是，遵循其他错误的方法也很令人兴奋，例如以有害于可读性和可维护性的方式使代码毫无意义。

关于无点定义的问题是，转换为无点定义是一个完全机械的过程（只要开始定义中不涉及模式匹配）。 有一些工具可以自动执行。

首先编写完全eta扩展的定义：

foo ls x = any (>5) (map ($ x) ls)

然后将其放入您喜欢的工具中进行转换。 http://pointfree.io/是将执行此操作的在线服务。

它吐出了完全不可读的内容：

foo = (any (> 5) .) . flip (map . flip id)

不要使用它。 这不值得。

但是也许您只想缩小一个论点的范围，这太多了吗？ 好吧，您可以通过作弊一点，并假装第一个参数是作用域中的值而不是参数，然后在其中添加以下定义来做到这一点：

foo x = any (>5) (map ($ x) ls)

返回foo = any (> 5) . flip map ls . flip id foo = any (> 5) . flip map ls . flip id foo = any (> 5) . flip map ls . flip id ，然后将其插入回：

foo ls = any (> 5) . flip map ls . flip id

这要好一些，这要归功于缺少(.)运算符的各个部分。 但是它仍然具有flip id ，这是最简单的混淆。

不要这样 保持克制。 编写易于阅读和修改的代码。

Answer 2

从完全非简化的定义开始：

foo ls v = any (>5) (map (\f -> f v) ls)

我们可以使用lambdabot拥有完全减少eta的解决方案：

foo = (any (> 5) .) . flip (map . flip id)

但是，这看起来很糟糕，不建议这样做。

Answer 3

其实，您在问题中的最后一次审判

foo ls = any (>5) . flip map ls ($)

已经非常接近解决方案。

唯一的问题是，考虑($)的定义：

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

的第一个参数($)是一个函数(a->b)但在你的情况下，也可以是值a ，所以才flip ($)交换的参数的顺序($)并把它早在：

foo ls = any (>5) . flip map ls . flip ($)

是您想要的功能。

Answer 4

由于您手头有一个应用列表，因此您可以简单地用应用运算符<*>将其应用为[(+3), (*4), (+1)] <*> [2]以获取结果列表，例如作为[5,8,3] 。 现在可以使用它了any :: Foldable t => (a -> Bool) -> ta -> Bool函数。 所以在一起

checker x = any (>5) $ [(+3), (*4), (+1)] <*> [x]

应该做的工作。 如果您需要没有积分的版本，它将比

checker = any (>5) . ([(+3), (*4), (+1)] <*>) . pure