Question

我刚刚设法以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＆lt; - [1 ..]和y＆lt; - [1 ..]并在找到第一对x后使函数停止Y'

Answer 1

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) ...的更大值。

你需要的是所有对的“公平”调度程序，它不会卡在案例的严格子集上。在数学上，这称为dovetailing函数。这本质上是从自然到成对自然的双射函数。或者，如果您愿意，这是一种枚举所有可能对的方式：这里是这样的枚举

-- 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 ]

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

实际上，这首先选择总和equation :: [(Integer, Integer)] equation = [ (x,y) | (x,y) <- allPairs, y == 2*x-4, x == 2*y-4]（这里有无限多个选择），然后继续列出具有该总和的（有限多个）对。

完成此操作后，您的代码将变为：

firstSolution :: Integer
firstSolution = head equation

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

firstSolution

就是这样！

（请记住，如果不存在解决方案，评估{{1}}可能不会终止。）

Answer 2

我们在这里看两个方程式：

y = 2*x-4
x = 2*y-4

将第一个等式代入第二个等式，

x = 2*(2*x-4)-4

展开，

x = 4*x-12

所以x = 4。

替换回第一个等式y = 4。

因此，第一个也是唯一的解决方案是x = y = 4。您可以通过定义

在Haskell中最简单地解决这个问题

firstSolution = (4,4)

然后你可以（并且应该）为解决方案编写一个HUnit测试，检查它是否真的是一个解决方案，并为解决方案提供一个QuickCheck属性来检查它是否是第一个。

Abs初学者Haskell模式匹配

2 个答案: