Editing 10分で学ぶHaskell (section)

== 構造化されたデータ ==

基本データ型は2つの方法で容易にまとめることができます。一つはリストで角括弧 [ ] で囲います。もう一つはタプルで丸括弧 ( ) で囲みます。

リストは同じ型の複数の値を保持する場合に使われます。

<tt>
:Prelude> <hask>[1, 2, 3]</hask>
:[1,2,3]
:Prelude> <hask>[1 .. 5]</hask>
:[1,2,3,4,5]
:Prelude> <hask>[1, 3 .. 10]</hask>
:[1,3,5,7,9]
:Prelude> <hask>[True, False, True]</hask>
:[True,False,True]
</tt>

文字列は単に文字のリストにすぎません。

<tt>
:Prelude> <hask>['H', 'e', 'l', 'l', 'o']</hask>
:"Hello"
</tt>

<hask>:</hask>演算子は要素をリストの先頭に追加します。（Lisp系言語でいうところの<tt>cons</tt>関数です）

<tt>
:Prelude> <hask>'C' : ['H', 'e', 'l', 'l', 'o']</hask>
:"CHello"
</tt>

タプルは決まった数の値を保持できます。ただしそれぞれの型は異なっていても構いません。

<tt>
:Prelude> <hask>(1, True)</hask>
:(1,True)
:Prelude> <hask>zip [1 .. 5] ['a' .. 'e']</hask>
:[(1,'a'),(2,'b'),(3,'c'),(4,'d'),(5,'e')]
</tt>

この例の最後で <hask>zip</hask>関数 が使われています。これは２つのリストを１つのタプルのリストにするライブラリ関数です。

型は予想どおり以下のようになります。

<tt>
:Prelude> :t <hask>['a' .. 'c']</hask>
:<hask>['a' .. 'c'] :: [Char]</hask>
:Prelude> :t <hask>[('x', True), ('y', False)]</hask>
:<hask>[('x', True), ('y', False)] :: [(Char, Bool)]</hask>
</tt>

リストはHaskellではとてもよく使われます。リストを操作する便利な関数がいくつもあります。

<tt>
:Prelude> <hask>[1 .. 5]</hask>
:<hask>[1,2,3,4,5]</hask>
:Prelude> <hask>map (+ 2) [1 .. 5]</hask>
:<hask>[3,4,5,6,7]</hask>
:Prelude> <hask>filter (> 2) [1 .. 5]</hask>
:<hask>[3,4,5]</hask>
</tt>

また整列されたペア（２つの要素を持つタプル）に対する便利な関数が２つあります。

<tt>
:Prelude> <hask>fst (1, 2)</hask>
:<hask>1</hask>
:Prelude> <hask>snd (1, 2)</hask>
:<hask>2</hask>
:Prelude> <hask>map fst [(1, 2), (3, 4), (5, 6)]</hask>
:<hask>[1,3,5]</hask>
</tt>

[[how to work on lists]]も参照してください。