scala-collections-doc-ja/collections_0.html at gh-pages · scalajp/scala-collections-doc-ja · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html dir="ltr" xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type" content="text/html;charset=UTF-8" />
<meta name="generator" content=
"HTML Tidy for Mac OS X (vers 25 March 2009), see www.w3.org" />
<title>Scala 2.8 コレクション API</title>
<link rel="stylesheet" type="text/css" href="guide.css" />
</head>
<body dir="ltr">
<blockquote style=
"border-left: 1px solid gray; font-family: Century, Times, 'Times New Roman', 'MS Gothic', serif; padding-left: 1em;">
<p>Martin Odersky さんと Lex Spoon さんの "<a href=
"http://www.scala-lang.org/docu/files/collections-api/collections.html">The
Scala 2.8 Collections API</a>" を EPFL Scala Team の許可を得て翻訳しました。<br />
<a href="http://eed3si9n.com/">eed3si9n</a> による非公式翻訳 (user-contributed work) なので、EPFL は一切関知しません。
翻訳の間違い等があれば遠慮なく <a href=
"https://github.com/eed3si9n/scala-collections-doc-ja/issues">Issues</a>
などで訳者の方にご指摘ください。<br />
最新版は <a href="http://docs.scala-lang.org/ja/overviews/collections/introduction.html">Scala Documentation</a> に移行しました。
</p>
</blockquote>
<h1 class="maketitle">Scala 2.8 コレクション API</h1>
<h2 class="maketitle">Martin Odersky, Lex Spoon</h2>
<h3 class="maketitle">2010 年 9 月 7 日</h3>
<p>Scala 2.8 の変更点で最も重要なものは新しいコレクションフレームワークだと多くの人が思っている。 確かに以前の
Scala にもコレクションはあったが、Scala 2.8
になって一貫性があり、包括的な、統一コレクション型のフレームワークを提供することができた。
(大部分において新しいフレームワークは旧版と互換性がある)</p>
<p>コレクションの変更点は、一見すると微細なものだがプログラミングスタイルに重大な変化をもたらすことができる。
コレクション内の要素ではなくコレクション全体を、プログラムを組む時の基本的なパーツとすることで、あたかも一つ上の階層でプログラミングをしているかのように感じるだろう。
この新しいスタイルには慣れを必要とするが、幸い新しいコレクションの特長のお陰で楽に適合できるようになっている。新しいコレクションは簡単に使えて、短く書けて、安全、高速で、統一性がある。</p>
<h3>簡単に使える</h3>
<p>基本的なボキャブラリは、演算 (operation) とよばれる 20〜50 のメソッドから成る。
これを身につけてしまえば、二つの演算を組み合わせるだけで、ほとんどのコレクションの問題を解決することができる。
複雑なループ構造や再帰に頭を悩ませる必要はない。
永続的なコレクションと副作用のない演算は、既存のコレクションを間違って新しいデータで壊してしまう心配をする必要がないことを意味する。
イテレータとコレクションの更新の間の干渉は完全になくなった。</p>
<h3>短く書ける</h3>
<p>
一つまたは複数のループが必要だった作業を単語一つで実現することができる。関数型の演算もライトウェイトな構文で表現でき、簡単に演算を組み合わせることでカスタム代数を扱っているかのように感じるはずだ。</p>
<h3>安全である</h3>
<p>これは実際に経験してみないと分からないだろう。静的型付きでかつ関数型という Scala
のコレクションの特徴は、可能なエラーの圧倒的多数はコンパイル時に捕捉されることを意味する。その理由は、</p>
<ol>
<li>コレクションの演算はが大量に使用されているため、十分にテスト済みである。</li>
<li>コレクション演算を使うことで、インプットとアウトプットが関数のパラメータと結果という形で明示的になる。</li>
<li>これらの明示的なインプットとアウトプットは静的な型チェックの対象だ。</li>
</ol>
<p>結論としては、誤用の大多数が型エラーとして表出するということだ。数百行のプログラムが初回の一発で実行できることは決して稀ではない。</p>
<h3>速い</h3>
<p>
コレクション演算はライブラリの中で調整され最適化されている。その結果、コレクションを使用することは一般的にかなり効率的だ。手作業で丁寧に調整されたデータ構造と演算により多少高速化することができるかもしれないが、不適切な実装上の決断を途中でしてしまうとかなり遅くなってしまうということもありえる。さらに、現在コレクションはマルチコア上での並列実行に適応されている途中だ。並列コレクションは順列コレクションと同じ演算をサポートするため、新しい演算を習ったりコードを書き変えたりする必要はない。<tt>par</tt>
メソッドを呼ぶだけで順列コレクションを並列に変えることができる。</p>
<h3>統一性がある</h3>
<p>
コレクションは出来る限りどの型にも同じ演算を提供している。これにより、少ないボキャブラリの演算でも多くのことができる。例えば、文字列は概念的には文字の列
(sequence) だ。その結果、Scalaのコレクションでは、文字列は列の演算の全てをサポートする。配列に関しても同様だ。</p>
<h3>用例</h3>
<p>これは Scala のコレクションの多くの利点を示す一行コードだ。</p>
<div class="quote">
<table cellspacing="1" cellpadding="0">
<tr>
<td colspan="99" align="left"><tt><font color="#0000E5">val</font>
(minors, adults) = people partition (_.age &lt; <font color=
"#000000">18</font>)</tt></td>
</tr>
</table>
</div>
<p>この演算が何をしているかは一目瞭然だ: <tt>people</tt> のコレクションを年齢によって
<tt>minors</tt> と <tt>adult</tt> に分割している。<tt>partition</tt>
メソッドはコレクションの基底型である <tt>TraversableLike</tt>
で定義されているため、このコードは配列を含むどのコレクションでも動作する。これによって生じる <tt>minors</tt> と
<tt>adult</tt> のコレクションは、<tt>people</tt>コレクションと同じ型となる。</p>
<p>このコードは、従来の 1〜3個のループを用いたコレクション処理に比べて、より簡潔なものになっている
(中間結果をどこかにバッファリングする必要があるため、配列を用いた場合はループ3個)。
基本的なコレクションのボキャブラリを覚えてしまえば、明示的なループを書くよりも、このようなコードを書く方が簡単かつ安全だと思うようになるだろう。
さらに、<tt>partition</tt>
演算は高速であり、将来的にはマルチコア上で並列コレクションにかけると更に速くなるだろう。(並列コレクションは開発ビルドに入っており、Scala
2.9 の一部としてリリースされる予定。)</p>
<p>以下のページで、ユーザーの視点から Scala 2.8 のコレクションクラスの API
について詳細に説明する。全ての基本的なクラスと、そのメソッドについて案内してくれるはずだ。</p>
<p>続いては、</p>
<ul class="toc">
<li><a href="collections_1.html">可変コレクションおよび不変コレクション</a></li>
<li><a href="collections_2.html">コレクション API の概要</a></li>
<li><a href="collections_3.html"><tt>Traversable</tt> トレイト</a></li>
<li><a href="collections_4.html"><tt>Iterable</tt> トレイト</a></li>
<li><a href="collections_5.html">列トレイト <tt>Seq, IndexedSeq,</tt>
および <tt>LinearSeq</tt></a></li>
<li><a href="collections_7.html">集合</a></li>
<li><a href="collections_10.html">マップ</a></li>
<li><a href="collections_12.html">具象不変コレクションクラス</a></li>
<li><a href="collections_23.html">具象可変コレクションクラス</a></li>
<li><a href="collections_38.html">配列</a></li>
<li><a href="collections_39.html">文字列</a></li>
<li><a href="collections_40.html">性能特性</a></li>
<li><a href="collections_41.html">等価性</a></li>
<li><a href="collections_42.html">ビュー</a></li>
<li><a href="collections_43.html">イテレータ</a></li>
<li><a href="collections_45.html">コレクションの作成</a></li>
<li><a href="collections_46.html">Java と Scala 間のコレクションの変換</a></li>
<li><a href="collections_47.html">Scala 2.7 からの移行</a></li>
<li><a href="collections_48.html">謝辞</a></li>
<li><a href="collections_49.html">目次</a></li>
<li><a href="collections_50.html">脚注</a></li>
<li><a href="collections_toc.html">ナビゲーション</a></li>
</ul>
<hr />
</body>
</html>