Spec2.8和訳

言語仕様書 2.8 (The Scalar Language Specification 2.8) の試訳を公開中です。

• 序文・訳者注
• 第 1 章 字句構文
• 第 2 章 識別子・名前・スコープ
• 第 3 章 型
• 第 4 章 基本的な宣言と定義
• 第 5 章 クラスとオブジェクト
• 第 6 章 式
• 第 7 章 暗黙のパラメータとビュー
• 第 8 章 パターンマッチング
• 第 9 章 トップレベル定義
• 第 10 章 XML 式とパターン
• 第 11 章 ユーザー定義アノテーション
• 第 12 章 Scala 標準ライブラリ
• Chapter A Scala 文法要約
• Chapter B 変更履歴

和訳 PDFはここです。
reStructuredTextで書きました。ソースや作り方は PDF最後のページに添付ファイル(UTF-8 BOMなしテキスト)として埋め込んであります。

・この訳については、tmiya氏は関係していませんので氏を煩わせることが ないようお願いします。ご意見その他、基本的には Wiki上(このページ、下方)に 投稿してください。当方(BAREISHO)に連絡を取りたい場合、メールアドレスは和訳 PDF 中に埋め込まれた readme.txtに書いてあります。

・断り無く編集してください。

・できれば、はじめに訳者注をお読みください。

・訳に特に問題がないと思われる英文は掲載していません。 掲載した英文はPDFから抜いたものに手を加えたものなので、 英語PDFと違うことがあります。おかしいと感じたときは、 お手数ですが英語PDFと照合してみてください。

・訳者(BAREISHO)は、意味がよくわかっていないところが多々あります。 見直してはいるのですが、誤訳も多そうです。すみません。 それでも何とか、皆様の力添えで良くなればと思っています。 (何が書いてあるか概要がわかるだけでもましじゃないか、と自分を慰めてます)

---

序文・訳者注

• 序文
• 訳者注

第 1 章 字句構文

• 1.1 識別子
• 1.2 改行文字
• 1.3 リテラル
  • 1.3.1 整数リテラル
  • 1.3.2 浮動小数点リテラル
  • 1.3.3 ブーリアンリテラル
  • 1.3.4 文字リテラル
  • 1.3.5 文字列リテラル
  • 1.3.6 エスケープシーケンス
  • 1.3.7 シンボルリテラル
• 1.4 空白文字とコメント
• 1.5 XML モード

第 2 章 識別子・名前・スコープ

第 3 章 型

• 3.1 パス (Paths)
• 3.2 値型 (Vaule Types)
  • 3.2.1 シングルトン型 (Singleton Types)
  • 3.2.2 型射影 (Type Projection)
  • 3.2.3 型指定子 (Type Designators)
  • 3.2.4 パラメータ化された型 (Parameterized Types)
  • 3.2.5 タプル型 (Tuple Types)
  • 3.2.6 アノテーション型 (Annotated Types)
  • 3.2.7 複合型 (Compound Types)
  • 3.2.8 中置型 (Infix Types)
  • 3.2.9 関数型 (Function Types)
  • 3.2.10 存在型 (Existential Types)
• 3.3 非値型 (Non-Value Types)
  • 3.3.1 メソッド型 (Method Types)
  • 3.3.2 多相的メソッド型 (Polymorphic Method Types)
  • 3.3.3 型コンストラクタ (Type Constructors)
• 3.4 基本型とメンバー定義 (Base Types and Member Definitions)
• 3.5 型の関係 (Relations between Types)
  • 3.5.1 型の等価性 (Type Equivalence)
  • 3.5.2 適合性 (Conformance)
  • 3.5.3 弱い適合性 (Weak Conformance)
• 3.6 volatile 型 (Volatile Types)
• 3.7 型消去 (Type Erasure)

第 4 章 基本的な宣言と定義

• 4.1 値宣言と定義 (Value Declarations and Definitions)
• 4.2 変数宣言と定義 (Variable Declarations and Definitions)
• 4.3 型宣言と型エイリアス (Type Declarations and Type Aliases)
• 4.4 型パラメータ (Type Parameters)
• 4.5 変位指定アノテーション (Variance Annotations)
• 4.6 関数宣言と定義
  • 4.6.1 名前呼び出しパラメータ (By-Name Parameters)
  • 4.6.2 反復パラメータ (Repeated Parameters)
  • 4.6.3 手続き (Procedures)
  • 4.6.4 メソッドの戻り値型の推論 (Method Return Type Inference)
• 4.7 インポート節 (Import Clauses)

第 5 章 クラスとオブジェクト

• 5.1 テンプレート (Templates)
  • 5.1.1 コンストラクタ呼び出し (Constructor Invocations)
  • 5.1.2 クラス線形化 (Class Linearization)
  • 5.1.3 クラスメンバ (Class Members)
  • 5.1.4 オーバーライド (Overriding)
  • 5.1.5 継承クロージャ (Inheritance Closure)
  • 5.1.6 事前定義 (Early Definitions)

• 5.2 修飾子 (Modifiers)

• 5.3 クラス定義 (Class Definitions)
  • 5.3.1 コンストラクタ定義 (Constructor Definitions)
  • 5.3.2 ケースクラス (Case Classes)
  • 5.3.3 トレイト (Traits)
• 5.4 オブジェクト定義 (Object Definitions)

第 6 章 式

• 6.1 式の型付け (Expression Typing)
• 6.2 リテラル (Literals)
• 6.3 null 値 (The Null Value)
• 6.4 指定子 (Designators)
• 6.5 this と super (This and Super)
• 6.6 関数適用 (Function Applications)
  • 6.6.1 名前付き引数とデフォルト引数 (Named and Default Arguments)
• 6.7 メソッド値 (Method Values)
• 6.8 型適用 (Type Applications)
• 6.9 タプル (Tuples)

• 6.10 インスタンス生成式 (Instance Creation Expressions)
• 6.11 ブロック (Blocks)
• 6.12 前置、中置と後置演算 (Prefix, Infix, and Postfix Operations)
  • 6.12.1 前置演算 (Prefix Operations)
  • 6.12.2 後置演算 (Postfix Operations)
  • 6.12.3 中置演算 (Infix Operations)
  • 6.12.4 代入演算子 (Assignment Operators)
• 6.13 型付けされた式 (Typed Expressions)
• 6.14 アノテーション(注釈)付きの式 (Annotated Expressions)
• 6.15 代入 (Assignments)

• 6.16 条件式 (Conditional Expressions)
• 6.17 while ループ式 (While Loop Expressions)
• 6.18 do ループ式 (Do Loop Expressions)
• 6.19 for 内包表記と for ループ (For Comprehensions and For Loops)
• 6.20 return 式 (Return Expressions)
• 6.21 throw 式 (Throw Expressions)
• 6.22 try 式 (Try Expressions)
• 6.23 無名関数 (Anonymous Functions)
• 6.24 定数式 (Constant Expressions)
• 6.25 文 (Statements)

• 6.26 暗黙の変換 (Implicit Conversions)
  • 6.26.1 値変換 (Value Conversions)
  • 6.26.2 メソッド変換 (Method Conversions)
  • 6.26.3 オーバーロード解決 (Overloading Resolution)
  • 6.26.4 ローカルな型推論 (Local Type Inference)
  • 6.26.5 イータ展開 (Eta Expansion)

第 7 章 暗黙のパラメータとビュー

• 7.1 Implicit 修飾子 (The Implicit Modifier)
• 7.2 暗黙のパラメータ (Implicit Parameters)
• 7.3 ビュー (Views)
• 7.4 コンテキスト境界と可視境界(ビュー境界) (Context Bounds and View Bounds)
• 7.5 マニフェスト (Manifests)

第 8 章 パターンマッチング

• 8.1 パターン (Patterns)
  • 8.1.1 変数パターン (Variable Patterns)
  • 8.1.2 型付きパターン (Typed Patterns)
  • 8.1.3 パターンバインダー (Pattern Binders)
  • 8.1.4 リテラルパターン (Literal Patterns)
  • 8.1.5 安定識別子パターン (Stable Identifier Patterns)
  • 8.1.6 コンストラクタパターン (Constructor Patterns)
  • 8.1.7 タプルパターン (Tuple Patterns)
  • 8.1.8 抽出子パターン (Extractor Patterns)
  • 8.1.9 シーケンスパターン (Pattern Sequences)
  • 8.1.10 中置演算パターン (Infix Operation Patterns)
  • 8.1.11 パターン選択 (Pattern Alternatives)
  • 8.1.12 XML パターン (XML Patterns)
  • 8.1.13 正規表現パターン (Regular Expression Patterns)
  • 8.1.14 明白パターン (Irrefutable Patterns)

• 8.2 型パターン (Type Patterns)
• 8.3 パターン中の型パラメータ推論 (Type Parameter Inference in Patterns)
• 8.4 パターンマッチ式 (Pattern Matching Expressions)
• 8.5 パターンマッチング無名関数 (Pattern Matching Anonymous Functions)

第 9 章 トップレベル定義

• 9.1 コンパイル単位 (Compilation Units)
• 9.2 パッケージング (Packagings)
• 9.3 パッケージオブジェクト (Package Objects)
• 9.4 パッケージ参照 (Package References)
• 9.5 プログラム (Programs)

第 10 章 XML 式とパターン

• 10.1 XML 式 (XML Expressions)
• 10.2 XML パターン (XML Patterns)

第 11 章 ユーザー定義アノテーション

第 12 章 Scala 標準ライブラリ

• 12.1 ルートクラス (Root Classes)
• 12.2 値クラス (Value Classes)
  • 12.2.1 数値型 (Numeric Value Types)
  • 12.2.2 クラス Boolean (Class Boolean)
  • 12.2.3 クラス Unit (Class Unit)

• 12.3 標準参照クラス (Standard Reference Classes)
  • 12.3.1 クラス String (Class String)
  • 12.3.2 タプルクラス (The Tuple Classes)
  • 12.3.3 関数クラス (The Function Classes)
  • 12.3.4 クラス Array (Class Array)
• 12.4 クラス Node (Class Node)
• 12.5 事前定義済みオブジェクト (The Predef Object)
• 参考文献(Bibliography)

Chapter A Scala 文法要約

Chapter B 変更履歴

---