nat2::[(整数,整数)] 定义

Question

定义列表：

nat2::[(整数，整数)]

包含所有非负数对 按已知关系排序的整数 由康托定理证明：

<前><代码>(x1,y1) < (x2,y2) <=> x1+y1＜ x2+y2 v (x1+y1=x2+y2 ^ x1 < x2)

[^- 表示替代]

这样：

nat2 = [(0,0),(0,1),(1,0),(0,2),(1,1),(2,0),(0,3) ,(1,2),(2,1),(3,0),...]

提示：

定义应该适合一个 线且短于45 人物。请注意，总和 上的点的坐标 相同的对角线是恒定的。

我做了一些定义，但不确定它是否正确，您可以检查/修复/给出提示吗：

nat2::[(Integer,Integer)]
nat2=[(a,b-a)|b<-[0...],a<-[0...b]]

编辑：更改为：

nat2 :: [(Integer,Integer)] 
nat2 = [(a,b-a) | b <- [0..], a <- [0..b]]

结果：

Prelude> :load "nat2.hs"
[1 of 1] Compiling Main             ( nat2.hs, interpreted )
Ok, modules loaded: Main.
*Main> take 10 nat2
[(0,0),(0,1),(1,0),(0,2),(1,1),(2,0),(0,3),(1,2),(2,1),(3,0)]

Answer 1

你有一个语法错误（你是否尝试运行它并检查输出？）

Prelude> [(a,b-a)|b<-[0...],a<-[0...b]]

<interactive>:1:14:
    A section must be enclosed in parentheses thus: (0 ...)

因为你只需要列表枚举中的两个 .. ：

Prelude> take 10 [(a,b-a)|b<-[0..],a<-[0..b]]
[(0,0),(0,1),(1,0),(0,2),(1,1),(2,0),(0,3),(1,2),(2,1),(3,0)]    

看起来很合理，但你是最好的判断者。