SICP习题1.6

自己没想明白这道题，答案是 cloverprince 给的一个CSDN的链接 http://blog.csdn.net/xuanyun/article/details/1331872

评论

2 楼 umeit 2011-08-16  

刚才试了一下 Java 也会出现 OverFlow，但是为什么 Haskell 不会出问题呢？是不是因为它是“正则序”？

1 楼 cloverprince 2011-08-15  

用c语言也会出这个问题。（不知道你会不会C语言）

这个程序不能工作，无穷递归：

int myif(int condition, int thenvalue, int elsevalue) {
    if(condition) {
        return thenvalue;
    }else{
        return elsevalue
    }
}

int factorial(int n) {
    return myif(n==0, 1, factorial(n-1)*n);
}

但是haskell不会。下面这个是正确的：

module Main where

myif condition thenValue elseValue = if condition then thenValue else elseValue

fac n = myif (n==0) 1 (n * (fac (n-1)))

main = do
    putStrLn $ show $ fac 10