Abs初学者Haskell模式匹配

我只是设法以ubuntu下的所有工作方式安装Haskell和EclipseFP!:)我花了很长时间才完成所有工作 - 没有--force :)我开始探索learnyouahaskell并且那个模式看起来真的很有趣......但我有疑问,例如我想计算这样的等式:

equation :: [(Integer, Integer)]
equation = [ (x,y) | x <- [1..100],y<-[1..100], y == 2*x-4, x == 2*y-4]

我必须对x和y范围设置限制,但是可以使用x < - [1 ..]和y < - [1 ..]并在找到第一对x和y之后使函数停止吗？

这个问题x <- [1..], y <- [1..]是x=2只会所有可能对以后的审判(1,y)已经试过了,每个y>=1.但是,如果没有这样的对匹配您的标准,尝试所有这样的对需要无限的时间.在这种情况下,我们永远不会达到x=2或任何更大的价值x.

你需要的是所有对中的"公平"调度程序,它不会卡在案例的严格子集上.在数学上,这被称为鸠尾榫功能.这本质上是从自然到成对自然的双射函数.或者,如果您愿意,这是一种枚举所有可能的对的方式:这里是这样的枚举

(1,1) (2,1) (1,2) (3,1) (2,2) (1,3) (4,1) (3,2) (2,3) (1,4) ...

诀窍是列出所有具有和2的对,然后列出具有和3的对,依此类推.在Haskell中,这些对可以编码为

-- pair components start from 1 as in the OP's code
allPairs :: [(Integer, Integer)]
allPairs = [ (x,y) | s <- [2..] , x <- [1..s] , let y = s - x ]

实际上,这s首先选择总和(这里有无限多个选择),然后继续列出具有该总和的(有限多个)对.

完成此操作后,您的代码将变为:

equation :: [(Integer, Integer)]
equation = [ (x,y) | (x,y) <- allPairs, y == 2*x-4, x == 2*y-4]

而且,如果你只想要第一个元素

firstSolution :: Integer
firstSolution = head equation

而已!

(请记住,firstSolution如果不存在解决方案,评估可能不会终止.)