関数型プログラミング言語Haskell Part23
レス数が900を超えています。1000を超えると表示できなくなるよ。
0912デフォルトの名無しさん
2013/10/16(水) 10:31:43.73これ結局人間が気付かないといけないんだよなぁ
コンパイラが気付いてくれないのかなぁ
そもそも有限要素列の逆順の逆順は元の列だってことは証命しないといけないことなのかなぁ
自動証命マシンがあればなぁ
PS ハスケルは有限要素列と無限要素列との判別はできないのかなぁ
キャントかなぁダズントかなぁ
レス数が900を超えています。1000を超えると表示できなくなるよ。