scala · xeno-by · Oct 6, 2014 · Sep 29, 2014 · Sep 29, 2014 · Sep 29, 2014
diff --git a/ja/overviews/index.md b/ja/overviews/index.md
@@ -5,8 +5,63 @@ title: ガイドと概要
 ---
 
 <div class="page-header-index">
-  <h1>コアライブラリ</h1>
+  <h2>コアライブラリ</h2>
 </div>
+   * Scala コレクションライブラリ
+     * [はじめに](/ja/overviews/collections/introduction.html)
+     * [可変コレクションおよび不変コレクション](/ja/overviews/collections/overview.html)
+     * [Traversable トレイト](/ja/overviews/collections/trait-traversable.html)
+     * [Iterable トレイト](/ja/overviews/collections/trait-iterable.html)
+     * [列トレイト Seq、IndexedSeq、および LinearSeq](/ja/overviews/collections/seqs.html)
+     * [集合](/ja/overviews/collections/sets.html)
+     * [マップ](/ja/overviews/collections/maps.html)
+     * [具象不変コレクションクラス](/ja/overviews/collections/concrete-immutable-collection-classes.html)
+     * [具象可変コレクションクラス](/ja/overviews/collections/concrete-mutable-collection-classes.html)
+     * [配列](/ja/overviews/collections/arrays.html)
+     * [文字列](/ja/overviews/collections/strings.html)
+     * [性能特性](/ja/overviews/collections/performance-characteristics.html)
+     * [等価性](/ja/overviews/collections/equality.html)
+     * [ビュー](/ja/overviews/collections/views.html)
+     * [イテレータ](/ja/overviews/collections/iterators.html)
+     * [コレクションの作成](/ja/overviews/collections/creating-collections-from-scratch.html)
+     * [Java と Scala 間のコレクションの変換](/ja/overviews/collections/conversions-between-java-and-scala-collections.html)
+     * [Scala 2.7 からの移行](/ja/overviews/collections/migrating-from-scala-27.html)
+   * [文字列の補間](/ja/overviews/core/string-interpolation.html) <span class="label success">New in 2.10</span>
+   * [値クラスと汎用トレイト](/ja/overviews/core/value-classes.html) <span class="label success">New in 2.10</span>
+
+ <div class="page-header-index">
+   <h2>並列および並行プログラミング</h2>
+ </div>
+   * [Future と Promise](/ja/overviews/core/futures.html) <span class="label success">New in 2.10</span>
+   * Scala 並列コレクションライブラリ
+     * [概要](/ja/overviews/parallel-collections/overview.html)
+     * [具象並列コレクションクラス](/ja/overviews/parallel-collections/concrete-parallel-collections.html)
+     * [並列コレクションへの変換](/ja/overviews/parallel-collections/conversions.html)
+     * [並行トライ](/ja/overviews/parallel-collections/ctries.html)
+     * [並列コレクションライブラリのアーキテクチャ](/ja/overviews/parallel-collections/architecture.html)
+     * [カスタム並列コレクションの作成](/ja/overviews/parallel-collections/custom-parallel-collections.*tml)
+     * [並列コレクションの設定](/ja/overviews/parallel-collections/configuration.html)
+     * [性能の測定](/ja/overviews/parallel-collections/performance.html)
 
-{% include localized-overview-index.txt %}
-<!--* Swing <span class="label important">In Progress</span>-->
+ <div class="page-header-index">
+   <h2>メタプログラミング</h2>
+ </div>
+   * リフレクション <span class="label important">Experimental</span>
+     * [概要](/ja/overviews/reflection/overview.html)
+     * [環境、ユニバース、ミラー](/ja/overviews/reflection/environment-universes-mirrors.html)
+     * [シンボル、構文木、型](/ja/overviews/reflection/symbols-trees-types.html)
+     * [アノテーション、名前、スコープ、その他](/ja/overviews/reflection/annotations-names-scopes.html)
+     * [型タグとマニフェスト](/ja/overviews/reflection/typetags-manifests.html)
+     * [スレッドセーフティ](/ja/overviews/reflection/thread-safety.html)
+   * マクロ <span class="label important">Experimental</span>
+     * [ユースケース](/ja/overviews/macros/usecases.html)
+     * [blackbox vs whitebox](/ja/overviews/macros/blackbox-whitebox.html)
+     * [def マクロ](/ja/overviews/macros/overview.html)
+     * [準クォート](/ja/overviews/macros/quasiquotes.html)
+     * [マクロバンドル](/ja/overviews/macros/bundles.html)
+     * [implicit マクロ](/ja/overviews/macros/implicits.html)
+     * [抽出子マクロ](/ja/overviews/macros/extractors.html)
+     * [型プロバイダ](/ja/overviews/macros/typeproviders.html)
+     * [マクロアノテーション](/ja/overviews/macros/annotations.html)
+     * [マクロパラダイス](/ja/overviews/macros/paradise.html)
+     * [ロードマップ](/ja/overviews/macros/roadmap.html)
diff --git a/ja/overviews/macros/annotations.md b/ja/overviews/macros/annotations.md
@@ -5,24 +5,20 @@ language: ja
 disqus: true
 
 partof: macros
-num: 6
-outof: 8
+num: 9
+outof: 11
+
 title: マクロアノテーション
 ---
 <span class="label important" style="float: right;">MACRO PARADISE</span>
 
 **Eugene Burmako 著**<br>
 **Eugene Yokota 訳**
 
-マクロアノテーションは現在マクロパラダイスプラグインを使った Scala 2.10 からのみ利用可能だ。
-Scala 2.11 にこの機能が含まれる可能性はあるが、この件に関してのロードマップははっきりしてない。
+マクロアノテーションはマクロパラダイスプラグインからのみ利用可能だ (Scala 2.10.x、2.11.x、2.12.x 系列全て同様)。
+この機能が正式な Scala に入る可能性は、Scala 2.13 には残されているが、一切保証されていない。
 [マクロパラダイス](/ja/overviews/macros/paradise.html)ページの説明にしたがってコンパイラプラグインをダウンロードしてほしい。
 
-## コメント募集中
-
-マクロアノテーションの現行の実装は実験的なものであり (それ故、現行のマクロパラダイスのバージョンも `2.0.0-SNAPSHOT` というスナップショット扱いされている)、今後の Scala 2.11 もしくは 2.12 への Scala improvement proposal を提出する上でのプレビューそして「たたき台」としての役割を果たすことを目的としている。
-コード生成のニーズを満たすことができるか是非試してみて、何かうまくいかない点があれば <a href="https://twitter.com/#!/xeno_by">Twitter</a> で著者に報告してほしい。
-
 ## 一巡り
 
 マクロアノテーションは定義レベルでテキスト抽象化を実現する。Scala がマクロだと認識可能な定義であればトップレベルでも入れ子の定義でも、このアノテーションを付けることで (1つまたは複数の) メンバに展開させることができる。マクロパラダイスの以前のバージョンと比較して、2.0 のマクロパラダイスは以下の点を改善した:
@@ -106,3 +102,8 @@ Scala 2.11 にこの機能が含まれる可能性はあるが、この件に関
 
 Scala マクロの精神に則り、マクロアノテーションは柔軟性のために可能な限り型指定を無くし (untyped; マクロ展開前に型検査を必須としないこと)、利便性のために可能な限り型付けた (typed; マクロ展開前に利用可能な型情報を取得すること)。注釈対象は型指定が無いため、後付けでシグネチャ (例えばクラスメンバのリストなど) を変更できる。しかし、Scala マクロを書くということはタイプチェッカと統合するということであり、マクロアノテーションもそれは同じだ。そのため、マクロ展開時には全ての型情報を得ることができる
 (例えば、包囲するプログラムに対してリフレクションを使ったり、現行スコープ内から型検査を行ったり、implicit の検索を行うことができる)。
+
+## blackbox vs whitebox
+
+マクロアノテーションは [whitebox](/ja/overviews/macros/blackbox-whitebox.html) である必要がある。
+マクロアノテーションを [blackbox](/ja/overviews/macros/blackbox-whitebox.html) だと宣言すると正しく動作しない。
diff --git a/ja/overviews/macros/blackbox-whitebox.md b/ja/overviews/macros/blackbox-whitebox.md
@@ -0,0 +1,57 @@
+---
+layout: overview-large
+
+language: ja
+disqus: true
+
+partof: macros
+num: 2
+outof: 11
+
+title: blackbox vs whitebox
+---
+<span class="label warning" style="float: right;">EXPERIMENTAL</span>
+
+**Eugene Burmako 著**<br>
+**Eugene Yokota 訳**
+
+Scala 2.11.x および Scala 2.12.x 系列では、マクロ機能が blackbox と whitebox という二つに分かれることになった。
+この blackbox/whitebox の分化は Scala 2.10.x では実装されていない。Scala 2.10.x 向けのマクロパラダイスでも、これは実装されていない。
+
+## マクロの成功
+
+マクロが正式な Scala 2.10 リリースの一部になったことで、研究分野でも業界でもプログラマは様々な問題に対して独創的なマクロの利用方法を考えだしていて、我々の当初の期待をはるかに上回る反応を得ている。
+
+エコシステムにおけるマクロがあまりも速く重要なものとなってきているため、Scala 2.10 が実験的機能としてリリースされた数カ月後の Scala 言語チームの会議の中では、Scala 2.12 までにはマクロを標準化して Scala 言語の一人前の機能とすることが決定された。
+
+<span class="label success">追記</span> Scala 2.12 までにマクロを安定化させるのはそう生易しいことでは無いことが分かった。この調査を受けて、Scala でメタプログラミングを行うための新たな基盤となる [scala.meta](http://scalameta.org) が生まれ、Scala 2.12 リリースと同時に最初のベータ版を出すをことを目指している。これが将来の Scala に入ることになるかもしれない。今の所は、Scala 2.12 ではマクロやリフレクション関連の変更は予定されていない。全機能が Scala 2.10 と 2.11 同様に実験的機能扱いのままで、機能が削除されることもない。本稿が書かれた背景となった状況は変わったが、書かれた内容はまだ生きているのでこのまま読み進んでほしい。
+
+マクロには多くの種類があるため、それぞれを注意深く調べて、どれを標準に入れるのかを厳選することを決めた。評価するときに必然として出てきた疑問がいくつかある。何故マクロ機能はこれほどまでに成功したのか? マクロが使われる理由は何か?
+
+理解しづらいメタプログラミングという概念が def マクロで表現されることで馴染みやすい型付けされたメソッド呼び出しという概念に乗っかることができるからではないか、というのが我々の仮説だ。これによって、ユーザが書くコードは無闇に肥大化したり、読み易さを犠牲とせずにより多くの意味を吸収できるようになった。
+
+## blackbox と whitebox マクロ
+
+しかし、ときとして def マクロは「ただのメソッド呼び出し」という概念を超越することがある。例えば、展開されたマクロは、元のマクロの戻り値の型よりも特化された型を持つ式を返すことが可能だ。Scala 2.10 では、StackOverflow の [Static return type of Scala macros](http://stackoverflow.com/questions/13669974/static-return-type-of-scala-macros) で解説したように、そのような展開は特化された型を保持し続けることができる。
+
+この興味深い機能がもたらす柔軟性によって、[偽装型プロバイダ](http://meta.plasm.us/posts/2013/07/11/fake-type-providers-part-2/)、[具現化の拡張](/sips/pending/source-locations.html)、[関数従属性の具現化](/ja/overviews/macros/implicits.html#fundep_materialization)、[抽出子マクロ](https://github.com/paulp/scala/commit/84a335916556cb0fe939d1c51f27d80d9cf980dc)などを可能とするけども、書かれたコードの明確さ (人にとってもマシンにとっても) が犠牲になるという側面ある。
+
+普通のメソッド同様に振る舞うマクロと戻り値の型を細別化 (refine) するマクロという決定的な区別を明確にするために、blackbox マクロと whitebox マクロという概念を導入することにした。型シグネチャに忠実に従うマクロは、振る舞いを理解するのに実装を知る必要が無い (ブラックボックスとして扱うことができる) ため、**blackbox マクロ** (blackbox macro) と呼ぶ。
+Scala の型システムを使ってシグネチャを持つことができないマクロは **whitebox マクロ** (whitebox macro) と呼ぶ。(whitebox def マクロもシグネチャは持つが、これらのシグネチャは近似値でしかない)
+
+blackbox マクロと whitebox マクロの両方とも大切なことは認識しているけども、より簡単に説明したり、規格化したり、サポートしやすい blackbox マクロの方に我々としては多くの信頼を置いている。そのため、標準化されてるマクロには blackbox マクロのみが含まれる予定だ。将来の的に whitebox マクロも予定の中に入るかもしれないけども、今からは何とも言えない。
+
+## 区別の成文化
+
+まずは 2.11 リリースにおいて、def マクロのシグネチャにおいて blackbox マクロと whitebox マクロを区別して、マクロによって `scalac` が振る舞いを変えれることにすることで標準化への初手とする。これは準備段階の一手で、blackbox も witebox も Scala 2.11 では実験的機能扱いのままだ。
+
+この区別は `scala.reflect.macros.Context` を `scala.reflect.macros.blackbox.Context` と `scala.reflect.macros.whitebox.Context` によって置き換えることで表現する。もしマクロの実装が第一引数として `blackbox.Context` を受け取る定義ならば、それを使うマクロ def は blackbox となり、 `whitebox.Context` の方も同様となる。当然のことながら互換性のために素の `Context` も方も存在し続けることになるけども、廃止勧告の警告を出すことで blackbox か whitebox かを選ぶことを推奨していく方向となる。
+
+blackbox def マクロは Scala 2.10 の def マクロと異なる扱いとなる。Scala の型検査において以下の制限が加わる:
+
+1. blackbox マクロが構文木 `x` に展開するとき、展開される式は型注釈 `(x: T)` でラップされる。この `T` は blackbox マクロの宣言された戻り値の型に、マクロ適用時に一貫性を持つように型引数やパス依存性を適用したものとなる。これによって、blackbox マクロを[型プロバイダ](http://meta.plasm.us/posts/2013/07/11/fake-type-providers-part-2/)のための手段としての利用は無効となる。
+1. Scala の型推論アルゴリズムが終わった後でも blackbox マクロの適用に未決定の型パラメータが残る場合、これらの型パラメータは普通のメソッドと同様に強制的に型推論が実行される。これによって blackbox マクロから型推論に影響を与えることが不可能となり、[関数従属性の具現化](/ja/overviews/macros/implicits.html#fundep_materialization)に使うことが無効となる。
+1. blackbox マクロの適用が implicit の候補として使われる場合、implicit 検索がそのマクロを選択するまでは展開は実行されない。これによって [implicit マクロの入手可能性を動的に計算する](/sips/pending/source-locations.html)ことが無効となる。
+1. blackbox マクロの適用がパターンマッチの抽出子として使われる場合、無条件でコンパイラエラーを発生するようにして、マクロで実装された[パターンマッチングのカスタマイズ](https://github.com/paulp/scala/commit/84a335916556cb0fe939d1c51f27d80d9cf980dc)を無効にした。
+
+whitebox def マクロは Scala 2.10 での def マクロ同様に動作する。一切の制限が無いため、2.10 のマクロで出来ていたことの全てが 2.11 と 2.12 でも行えるはずだ。