>>606
そこまで馬鹿げたことを書かれると心底うんざりするな。

>  そう書いてあったのか。そう読めませんでした。曖昧な日本語をお使いになる。
少なくとも>>571は理解しているし、自分の国語力と理解力をうたがったほうがよい。
>>600の主張はどこに行った?

>  ??? 末尾再帰の場合はスタック上のリターンアドレスは、深さに比例して増えたりしないんだぞ?
それが何か?
この文章:
>  >   の場合は、xがスタックに置かれるから stack overflow の可能性はあるけど、
>  ??? 関数のリターンアドレスがスタックにつまれるんだぞ?
が、「xがスタックに置かれるから」云々という意味不明の文章について言及していることが
わからないほど、国語力がないのか?

> > # 最初から [] にマッチする場合を除く。
> これをコメントアウトするのは非常にずるいと思う。

「sum [1..n] 0のnが大きい場合にオーバーフローする」
ことを証明するのに[1..n] == []の場合を考える必要は無い。

あなたが>>570なら、以後名前のところにそれを明記してくれ。
二度と返信しない。