文字列を小文字のみに変換する関数

Question

Haskellの質問です。

アルファベット大文字小文字混じりの文字列を小文字のみに変換する関数cvt2lowを作ろうとして以下の定義を書きましたが、正常に動作しません。

cvt2low :: String -> String
cvt2low [] = []
cvt2low (x : xs) = (if isUpper x then y else x) : cvt2low xs
    where
        y = [z | (x, z) <- zip ['A'..'Z'] ['a'..'z']] !! 0

-- 実行例
ghci> cvt2low "AaBb"
"aaab"    {- "aabb"となってほしい -}

Answer 1

以下の式内のxは、cvt2low (x:xs)のxとは無関係な、新規の変数であると解釈されます。

y = [z | (x, z) <- zip ['A'..'Z'] ['a'..'z']] !! 0

一度別の名前の変数で受けた後、明示的に比較しましょう。

y = [z | (x', z) <- zip ['A'..'Z'] ['a'..'z'], x' == x] !! 0

Comments

[haomoni]

ありがとうございます。

リスト内包表記を例えば[x | x <- A, (xの条件式)]とすると、すでに定義済みの変数をそうとして使えるのは生成器の右側（A）と条件式のみ、という感じなのでしょうか？

[actorbug]

その例なら(A)と条件式のみですが、[B | x <= A, (xの条件式)]なら、(A)と条件式に加えて(B)でも使用可能です。