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

时间:2013-10-20 05:21:49

标签: haskell io

问题是: 现代数学的一个着名证据是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]

所以,你能告诉我为什么我错了吗?

1 个答案:

答案 0 :(得分:5)

我认为你需要阅读一些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不会改变它。这只是一个语法错误,你的代码中有几个。