Macro translation. Jumping to 'updates the guides to include tentative plans for 2.12.x' on scala.github.com@dd727766608de820900b2d89b06e3fdc77db65c0

Author: eed3si9n

ja/overviews/macros/annotations.md

@@ -13,8 +13,8 @@ title: マクロアノテーション
 **Eugene Burmako 著**<br>
 **Eugene Yokota 訳**
 
-マクロアノテーションは現在マクロパラダイスプラグインを使った Scala 2.10.x と 2.11.x からのみ利用可能だ。
-この機能が正式な Scala に入る可能性は、Scala 2.12 には残されているが、一切保証されていない。
+マクロアノテーションはマクロパラダイスプラグインからのみ利用可能だ (Scala 2.10.x、2.11.x、2.12.x 系列全て同様)。
+この機能が正式な Scala に入る可能性は、Scala 2.13 には残されているが、一切保証されていない。
 [マクロパラダイス](/ja/overviews/macros/paradise.html)ページの説明にしたがってコンパイラプラグインをダウンロードしてほしい。
 
 ## 一巡り

ja/overviews/macros/blackbox-whitebox.md

@@ -14,14 +14,17 @@ title: blackbox vs whitebox
 **Eugene Burmako 著**<br>
 **Eugene Yokota 訳**
 
-Scala 2.11.0-M7 以降の Scala 2.11 マイルストーンビルドよりマクロを blackbox と whitebox という二つに分かれた実装となった (しかし、2.11.0-M8 で構文が変更されたため、本稿は以前の 2.11 には当てはまらない)。blackbox/whitebox の分化は Scala 2.10.x やマクロパラダイスでは実装されていない。最新の 2.11 マイルストーンをダウンロードして使用するには [http://www.scala-lang.org/download/](http://www.scala-lang.org/download/) に書いてある手順を参照してほしい。
+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 言語の一人前の機能とすることが決定された。
 
+<i>追記: Scala 2.12 までにマクロを安定化させるのはそう生易しいことでは無いことが分かった。この調査を受けて、Scala でメタプログラミングを行うための新たな基盤となる [scala.meta](http://scalameta.org) が生まれ、Scala 2.12 リリースと同時に最初のベータ版を出すをことを目指している。これが将来の Scala に入ることになるかもしれない。今の所は、Scala 2.12 ではマクロやリフレクション関連の変更は予定されていない。全機能が Scala 2.10 と 2.11 同様に実験的機能扱いのままで、機能が削除されることもない。本稿が書かれた背景となった状況は変わったが、書かれた内容はまだ生きているのでこのまま読み進んでほしい。</i>
+
 マクロには多くの種類があるため、それぞれを注意深く調べて、どれを標準に入れるのかを厳選することを決めた。評価するときに必然として出てきた疑問がいくつかある。何故マクロ機能はこれほどまでに成功したのか? マクロが使われる理由は何か?
 
 理解しづらいメタプログラミングという概念が def マクロで表現されることで馴染みやすい型付けされたメソッド呼び出しという概念に乗っかることができるからではないか、というのが我々の仮説だ。これによって、ユーザが書くコードは無闇に肥大化したり、読み易さを犠牲とせずにより多くの意味を吸収できるようになった。
@@ -35,7 +38,7 @@ Scala 2.11.0-M7 以降の Scala 2.11 マイルストーンビルドよりマク
 普通のメソッド同様に振る舞うマクロと戻り値の型を細別化 (refine) するマクロという決定的な区別を明確にするために、blackbox マクロと whitebox マクロという概念を導入することにした。型シグネチャに忠実に従うマクロは、振る舞いを理解するのに実装を知る必要が無い (ブラックボックスとして扱うことができる) ため、**blackbox マクロ** (blackbox macro) と呼ぶ。
 Scala の型システムを使ってシグネチャを持つことができないマクロは **whitebox マクロ** (whitebox macro) と呼ぶ。(whitebox def マクロもシグネチャは持つが、これらのシグネチャは近似値でしかない)
 
-blackbox マクロと whitebox マクロの両方とも大切なことは認識しているけども、より簡単に説明したり、規格化したり、サポートしやすい blackbox マクロの方に我々としては多くの信頼を置いている。そのため、Scala 2.12 で標準化されてるマクロには blackbox マクロのみが含まれる予定だ。将来の Scala リリースには whitebox マクロも実験的機能扱いでは無い形で入るかもしれないけども、今からは何とも言えない。
+blackbox マクロと whitebox マクロの両方とも大切なことは認識しているけども、より簡単に説明したり、規格化したり、サポートしやすい blackbox マクロの方に我々としては多くの信頼を置いている。そのため、標準化されてるマクロには blackbox マクロのみが含まれる予定だ。将来の的に whitebox マクロも予定の中に入るかもしれないけども、今からは何とも言えない。
 
 ## 区別の成文化
 
@@ -50,4 +53,4 @@ blackbox def マクロは Scala 2.10 の def マクロと異なる扱いとな
 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 でも行えるはずだ。
+whitebox def マクロは Scala 2.10 での def マクロ同様に動作する。一切の制限が無いため、2.10 のマクロで出来ていたことの全てが 2.11 と 2.12 でも行えるはずだ。

ja/overviews/macros/bundles.md

@@ -14,20 +14,20 @@ title: マクロバンドル
 **Eugene Burmako 著**<br>
 **Eugene Yokota 訳**
 
-マクロバンドル (macro bundle) は Scala 2.11.0-M4 以降のマイルストーン版に含まれる機能だ (しかし、2.11.0-M8 で構文が変更されたため、本稿は以前の 2.11 には当てはまらない)。Scala 2.10.x やマクロパラダイスには含まれない。[http://www.scala-lang.org/download/](http://www.scala-lang.org/download/) の説明にしたがって最新の 2.11 のマイルストーン版をダウンロードしてほしい。
+マクロバンドル (macro bundle) は、Scala 2.11.x および Scala 2.12.x 系列に含まれる機能だ。マクロバンドルは Scala 2.10.x では実装されていない。Scala 2.10.x 向けのマクロパラダイスでも、これは実装されていない。
 
 ## マクロバンドル
 
-現行の Scala 2.10.x においてマクロ実装は関数として表されている。コンパイラがマクロ定義の適用を見つけると、マクロ実装を呼び出すという単純なものだ。しかし、実際に使ってみると以下の理由によりただの関数では不十分なことがあることが分かった:
+Scala 2.10.x においてマクロ実装は関数として表されている。コンパイラがマクロ定義の適用を見つけると、マクロ実装を呼び出すという単純なものだ。しかし、実際に使ってみると以下の理由によりただの関数では不十分なことがあることが分かった:
 
 <ol>
 <li>関数に制限されることで複雑なマクロのモジュール化がしづらくなる。マクロのロジックがマクロ実装外のヘルパートレイトに集中していて、マクロ実装がヘルパーをインスタンス化するだけのラッパーになってしまっているのは典型的な例だ。</li>
 <li>さらに、マクロのパラメータがマクロのコンテキストにパス依存であるため、ヘルパーと実装をつなぐのに<a href="/ja/overviews/macros/overview.html#writing_bigger_macros">特殊なおまじない</a>を必要とする。</li>
 </ol>
 
 マクロバンドルは、マクロ実装を
-`blackbox.Context` か
-`whitebox.Context` をコンストラクタのパラメータとして受け取るクラス内で実装することで、コンテキストをマクロ実装側のシグネチャで宣言しなくても済むようになり、モジュール化を簡単にする。
+`c: scala.reflect.macros.blackbox.Context` か
+`c: scala.reflect.macros.whitebox.Context`をコンストラクタのパラメータとして受け取るクラス内で実装することで、コンテキストをマクロ実装側のシグネチャで宣言しなくても済むようになり、モジュール化を簡単にする。
 
     import scala.reflect.macros.blackbox.Context
 

ja/overviews/macros/extractors.md

@@ -14,9 +14,9 @@ title: 抽出子マクロ
 **Eugene Burmako 著**<br>
 **Eugene Yokota 訳**
 
-抽出子マクロ (extractor macro) は、Scala 2.11.0-M5 以降のマイルストーン版より取り込まれた機能で、Scala 2.11.0-M5 にて Paul Phillips 氏によって導入された name-based extractor によって可能となった。Scala 2.10.x やマクロパラダイスには含まれない。[http://www.scala-lang.org/download/](http://www.scala-lang.org/download/) の説明にしたがって最新の 2.11 のマイルストーン版をダウンロードしてほしい。
+抽出子マクロ (extractor macro) は、Scala 2.11.x および Scala 2.12.x 系列に含まれる機能で、Scala 2.11.0-M5 にて Paul Phillips 氏によって導入された name-based extractor によって可能となった。抽出子マクロは Scala 2.10.x では実装されていない。Scala 2.10.x 向けのマクロパラダイスでも、これは実装されていない。
 
-### パターン
+## パターン
 
 具体例で説明するために、以下のような `unapply` メソッドがあるとする
 (話を簡単にするために、被検査体を具象型とするが、テストで示した通りこの抽出子を多相とすることも可能だ):
@@ -55,7 +55,7 @@ typer とのよどみない会話をお膳立てするには全ての部分が
 と言いたいところだが、残念ながら、値クラスはローカルでは宣言できないため、マッチャーを値クラスにすることはできなかった。
 しかしながら、この制限が将来的に無くなることを願って、無くなり次第タレコミが入るように小鳥を仕組んできた ([neg/t5903e](https://github.com/scala/scala/blob/00624a39ed84c3fd245dd9df7454d4cec4399e13/test/files/neg/t5903e/Macros_1.scala#L1))。
 
-### 用例
+## 用例
 
 このパターンが特に有用なのは文字列補間子のパターンマッチャーで、泥臭い方法を使わずに変幻自在のパターンマッチを実装できる。
 例えば、準クォートの `unapply` はこれでハードコードしなくてすむようになる:

ja/overviews/macros/overview.md

@@ -17,6 +17,14 @@ title: def マクロ
 def マクロは Scala のバージョン 2.10.0 より追加された実験的機能だ。
 def マクロ機能の一部が、徹底した仕様が書かれることを条件に将来の Scala のいつかに安定化することが仮予定されている。
 
+このガイドは Scala 2.10.0 向けに書かれたもので、現在は Scala 2.11.x 系リリースサイクルのまっただ中なので当然本稿の内容が古くなっている。
+しかしながら、このガイドが廃れたかと言うとそうとも言えなくて、ここで書かれていることの全ては Scala 2.10.x と Scala 2.11.x
+の両方で動作するため目を通す価値はあるはずだ。
+これを読んだ後で、[準クォート](/overviews/macros/quasiquotes.html)と
+[マクロバンドル](/ja/overviews/macros/bundles.html)のガイドからマクロ定義を簡略化する最新情報を仕入れてほしい。
+さらに詳しい具体例を調べるには [macro workshop](https://github.com/scalamacros/macrology201)
+も参考にしてほしい。
+
 ## 直観
 
 以下がマクロ定義のプロトタイプだ:

ja/overviews/macros/paradise.md

@@ -54,4 +54,7 @@ title: マクロパラダイス
     </compilerPlugins>
 
 マクロパラダイスのソースは [https://github.com/scalamacros/paradise](https://github.com/scalamacros/paradise) から入手できる。
-最新の 2.10.x リリース、2.11.0 のマイルストーンと、2.10.x と 2.11.x の RC版、および Scala virtualized に対してそれぞれブランチがある。
+最新の 2.10.x リリース版、
+最新の 2.11.0 リリース版、
+Scala 2.10.x、2.11.x、2.12.x 系列のスナップショット版、
+および Scala virtualized に対してそれぞれブランチがある。

ja/overviews/macros/typeproviders.md

@@ -17,7 +17,7 @@ title: 型プロバイダ
 型プロバイダ (type provider) はそれ専用にマクロの種類があるわけではなくて、すでに Scala マクロが提供する機能の上に成り立っている。
 
 型プロバイダ的をエミュレートするのは 2通りの方法があって、構造的部分型に基づいたもの (これは「匿名型プロバイダ」と呼ぶ; anonymous type provider) と、
-マクロアノテーションに基づいたもの (これは「公開型プロバイダ」と呼ぶ; public type provider) がある。前者は 2.10.x と 2.11 から既に使える機能用いて実現されるが、
+マクロアノテーションに基づいたもの (これは「公開型プロバイダ」と呼ぶ; public type provider) がある。前者は 2.10.x、2.11.x、2.12.x 系列から既に使える機能用いて実現されるが、
 後者はマクロパラダイスを必要とする。両方の方法とも消去型のプロバイダを実装するのに使うことができる。
 
 マクロアノテーションのコンパイルと展開の両方にマクロパラダイスが必要なため、公開型プロバイダの作者とユーザの両方がマクロパラダイスを
@@ -35,7 +35,7 @@ title: 型プロバイダ
 Scala では、マクロ展開は `ClassDef`、`ModuleDef`、`DefDef`、その他の定義ノードを含むプログラマが好きなコードを生成できるため、
 コード生成という型プロバイダの側面はすでにカバーされている。これを念頭において、型プロバイダをエミュレートするにはあと 2つの課題が残っている。
 
-1. 生成された定義群を公開する (Scala 2.10 と 2.11 から使うことができる唯一の種類のマクロ、def マクロは展開されるスコープが制限されるという意味で局所的なものだ: [https://groups.google.com/d/msg/scala-user/97ARwwoaq2U/kIGWeiqSGzcJ](https://groups.google.com/d/msg/scala-user/97ARwwoaq2U/kIGWeiqSGzcJ))
+1. 生成された定義群を公開する (Scala 2.10.x、2.11.x、2.12.x 系列から使うことができる唯一の種類のマクロ、def マクロは展開されるスコープが制限されるという意味で局所的なものだ: [https://groups.google.com/d/msg/scala-user/97ARwwoaq2U/kIGWeiqSGzcJ](https://groups.google.com/d/msg/scala-user/97ARwwoaq2U/kIGWeiqSGzcJ))
 2. 生成された定義群を任意に消去可能とする (Scala は、抽象型メンバや値クラスといった多くの言語機構について型消去をサポートしているが、その機構は拡張可能ではないためマクロ作者がカスタマイズすることはできない。)
 
 ### 匿名型プロバイダ