リスト内包表記の奇妙な動作

Question

私はハスケルの基礎を学び、プロジェクトのオイラーの簡単なタスクを解決しようとしています：3桁の数字（100.999）の最大の回文を見つけよう。

palindrome = maximum $ filter (\a -> reverse a == a) $ 
            map show [ x*y :: Int | x <- [100 .. 999], 
                  y <- [x, x+1 .. 999]] 

それはまだ間違っている私はx <- [307 .. 999]答えに変更し、間違った答え= 99999を与える：私はこのコードを書いた94249（回文ではなく、最大）とを最終的に私はx <- [308 .. 999],に変更したときに、それ私に正解を与える：906609.

私は本当にこの動作を理解していない：それはいくつかの種類のオーバーフローと切り詰めが生成されたリスト内で発生するようです。誰かが私にこの間違った行動を説明できますか？私はあなたがタスクに答えることを望んでいない：私は私のソリューションは非常に効率的ではない知っている。このコードの動作（リストの切り捨てやメモリの問題）について説明してください。ありがとう。

Answer 1

filterの結果はStringの値のリストなので、maximumはそれらを辞書編集的に比較しています。値を最初にIntに変換する必要があります。型署名は、readが正しい型の値を返すようにします。

palindrome :: Int 
palindrome = maximum . map read . filter ... 

別のアプローチは、フィルタ自体にStringに値を変換することです：

palindrome :: Int 
palindrome = maximum $ filter (\a -> let sa = show a in reverse sa == sa) [ x*y | x <- [100..999], y <- [x..999]]