Question

问题是：现代数学的一个着名证据是Georg Cantor的证明，即有理数的集合是可计数的。证明通过使用有理数字的显式枚举来工作，如下图所示。

1/1 1/2 1/3 1/4 1/5 ...
2/1 2/2 2/3 2/4
3/1 3/2 3/3
4/1 4/2
5/1

在上图中，第一项为1/1，第二项为1/2，第三项为2/1，第四项为3/1，第五项为2/2，因此上。

您将编写一个程序，该程序将读取1到107范围内的数字列表，并将为每个数字打印Cantor枚举中的相应术语，如下所示。最后一个号码后面不应出现空行。输入列表每行包含一个数字，并将以文件结尾终止。输入文件中不会出现超过30个数字。

我写的代码是：

stepOver = do [left num den dir]
   count <- getLine
   let left =  count' -1
   if left == 0
    then putStrLn [num den]
    let newleft = left -1
        case (stepOver num) of
            1 -> if dir == up
                stepOver = [newleft 1 (den + 1) down]
                stepOver = [newleft 2 (den - 1) down]
        case (stepOver den) of
            1 -> if dir == down
                stepOver = [newleft (num + 1) 1 down]
                stepOver = [newleft (num - 1) 2 down]
        case (stepOver dir) of
            up -> stepOver = [newleft (num - 1) (den + 1) dir]
        case (stepOver dir) of
            down -> stepOver = [newleft (num + 1) (den - 1) dir]

所以，你能告诉我为什么我错了吗？

Answer 1

我认为你需要阅读一些Haskell。你误解了一些基本的语法。

首先，case就像这样。

case expression of
  pat1 -> expr1
  pat2 -> expr2
  ...

case someBool of
   True -> 1
   False -> 2

接下来是if。

if someBool then expr1 else expr2

else 不可选。

if True then 1 else 2

接下来，let

let pat1 = expr1
    pat2 = expr2
    ...
in expr

let foo = 1
    bar = 2
in foo + bar

最后，do

do
  someExpr
  let pat = expr
  pat <- someExpr
do
  putStrLn "Hello World"
  let x = 1
  myLine <- getLine

现在，一旦你弄清楚了一些语法，你应该能够修复你的代码。

编辑：

Haskell中的变量是不可变的，在foo = bar块中写do不会改变它。这只是一个语法错误，你的代码中有几个。

2:12：输入`count'解析错误

1 个答案: