Haskellの基本の基本　注意したいところ

Haskell における文字列の正体はリストです。
この事実に注意すると、一重引用符と二重引用符の違いというテーマがとても重要です。
しかし、Haskell初心者にとってはこの重要性を実感できず、あまり注目できない可能性があります。

この記事では、

という観点から、Haskell の文字列とリストについて初心者向けに解説します。

1. 一重引用符 (`'`) と二重引用符 (`"`) の違い

Haskell では、 一重引用符 (') は Char を表し、二重引用符 (") は String を表します。

c :: Char
c = 'a'  -- 一重引用符で囲まれた単一の文字

s :: String
s = "hello"  -- 二重引用符で囲まれた文字列（リスト型）

ポイント:

文字列は [Char]（文字のリスト） であるため、リストとしての操作が可能です。

head "hello"   -- 'h'
tail "hello"   -- "ello"

Haskell では、リストの 先頭に要素を追加する演算子として :（コンス）を使用 します。これは、文字列（[Char]）にも適用できます。

s1 = 'h' : "ello"  -- "hello"
s2 = 'H' : "askell"  -- "Haskell"

リストとしての解釈:

'h' : ('e' : ('l' : ('l' : ('o' : []))))  -- "hello"

つまり、

Char は 単一の文字 を表し、String は Char のリスト（[Char]） です。

c :: Char
c = 'A'  -- 単一の文字

s :: String
s = "Hello"  -- 文字のリスト

文字と文字列の区別に注意！

notChar = "A"  -- エラー！ `"A"` は `Char` ではなく `String`

length "Haskell"  -- 7  （リストの要素数を取得）
reverse "abc"  -- "cba"  （リストの逆順）
"Hello" ++ " World"  -- "Hello World"  （リストの結合）

Haskell では、String に対して便利な書き方（糖衣構文）が提供されています。

実際には、"hello" は以下のようにリストとして表現されます。

"hello" == ['h', 'e', 'l', 'l', 'o']

このように、String は Char のリスト [Char] の糖衣構文（簡略記法）です。

Haskell ではリスト内包表記を使って、文字列を生成できます。

alphabet = [c | c <- ['a'..'z']]  -- "abcdefghijklmnopqrstuvwxyz"

これは ['a'..'z'] をそのまま String として扱う例です。

Haskell では 文字列はリストである という点を理解すると、リスト操作をそのまま String に適用できるようになります。