TourOfScala0

「TourOfScala0」の編集履歴(バックアップ)一覧はこちら

TourOfScala0」(2011/03/20 (日) 15:44:32) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

#setmenu2(tour-r-menu) &br() &aname(Top,option=nolink){ } * Scala ひと巡り (A Tour of Scala) #right(){ [[原ページ >http://www.scala-lang.org/node/104]] Published on The Scala Programming Language (http://www.scala-lang.org) . By admin . Created 2008-07-05, 20:31 } ●学習者の参考になればと思って訳してみましたが、誤訳の可能性大ですので、正しいことを知りたい方は必ず原文をお読みください。ご意見その他は、このページの下へ投稿してください。 Scala は簡潔でエレガント、そして型安全な方法で共通のプログラミングパターンを表現できるよう設計された現代的なマルチパラダイム・プログラミング言語です。オブジェクト指向と関数型言語の特質をスムーズに統合します。 &bold(){Scala はオブジェクト指向言語です} すべての値がオブジェクトである &link_anchor(1,page=TourOfScala3){[1]}という意味で、Scala は純粋なオブジェクト指向言語です。オブジェクトの型と振る舞いをクラス &link_anchor(2,page=TourOfScala1){[2]}とトレイト &link_anchor(3,page=TourOfScala3){[3]}によって記述します。クラスはサブクラス化 &link_anchor(4,page=TourOfScala3){[4]}と、多重継承の欠点のない置換えである、柔軟なミックスインベースの合成 &link_anchor(5,page=TourOfScala2){[5]}メカニズムにより拡張されます。 &bold(){Scala は関数型言語です} すべての関数が値である&link_anchor(1,page=TourOfScala3){[1]}という意味で、Scala は関数型言語でもあります。Scala は無名関数の定義に簡単な構文 &link_anchor(6,page=TourOfScala2){[6]}を提供します。それは高階関数 &link_anchor(7,page=TourOfScala2){[7]}をサポートし、関数のネストを可能とし&link_anchor(8,page=TourOfScala2){[8]}、カリー化 &link_anchor(9,page=TourOfScala2){[9]}をサポートします。Scala のケースクラス &link_anchor(10,page=TourOfScala1){[10]}とパターンマッチング &link_anchor(11,page=TourOfScala2){[11]}の組み込みサポートは、多くの関数型プログラミング言語で使われる代数型をモデル化します。 さらに、Scala のパターンマッチングの概念は、右無視シーケンスパターン(right-ignoring sequence pattern) &link_anchor(13,page=TourOfScala2){[13]}の助けにより、XML データ &link_anchor(12,page=TourOfScala3){[12]}の処理へ自然に拡張されます。このコンテキストにおいて、シーケンス内包表記(sequence comprehensions) &link_anchor(14,page=TourOfScala1){[14]}はクエリの設計に役立ちます。 これらの特徴により Scala は、Web サービス&link([15]){http://ja.wikipedia.org/wiki/Web%E3%82%B5%E3%83%BC%E3%83%93%E3%82%B9}のようなアプリケーション開発に理想的なものとなっています。 &bold(){Scala は静的な型付け言語です} Scala は、抽象化が安全で首尾一貫した方法でなされることを静的に強制する、表現力豊かな型システムを備えています。 特に、型システムは次をサポートします。 - ジェネリッククラス (generic classes &link_anchor(16,page=TourOfScala2){[16]}) - 変位指定アノテーション (variance annotations &link_anchor(17,page=TourOfScala3){[17]}) - 上/下限 型境界 (upper&link_anchor(18,page=TourOfScala3){[18]} and lower&link_anchor(19,page=TourOfScala3){[19]} type bounds) - 内部クラスとオブジェクトメンバーとしての抽象型(inner classes &link_anchor(20,page=TourOfScala2){[20]} and abstract types &link_anchor(21,page=TourOfScala1){[21]} as object members) - 複合型 (compound types &link_anchor(22,page=TourOfScala1){[22]}) - 明示的に型付けされた自己参照 (explicitly typed self references &link_anchor(23,page=TourOfScala3){[23]}) - ビュー (view &link_anchor(24,page=TourOfScala3){[24]}) - 多相的メソッド (polymorphic methods &link_anchor(25,page=TourOfScala2){[25]}) ローカルな型推論 &link_anchor(26,page=TourOfScala3){[26]}機構のおかげで、ユーザーはプログラムに冗長な型情報で注釈を付ける必要がありません。これらフィーチャーの組み合わせは、プログラミング抽象の安全な再利用とソフトウェアの型安全な拡張に、強力な基盤を提供します。 &bold(){Scala は拡張性に富んでいます} 現場では、固有領域のアプリケーション開発はしばしば領域固有の言語拡張を必要とします。Scala は、新たな言語要素をライブラリの形でスムーズに容易に加えることのできる、言語メカニズムのユニークな組合せを提供します: - どのようなメソッドも中置あるいは後置演算子 &link_anchor(27,page=TourOfScala2){[27]}として使えます。そして - 要請型(expected type:期待される型)に応じて、クロージャが自動的に構成されます&link_anchor(28,page=TourOfScala2){[28]}(target typing:ターゲットによる型付け)。 両フィーチャーの併用により、構文拡張なしで、またマクロのようなメタプログラミング機能の助けを借りずに、新しい構文を簡単に定義できるようになります。 &bold(){Scala は Java や .NET と相互運用できます} Scala は、ポピュラーな Java 2 実行環境(JRE &link([29]){http://www.oracle.com/technetwork/jp/java/javase/tech/index-jsp-316058-ja.html})とうまく相互運用できるように設計されています。特に、主流のオブジェクト指向 Java プログラミング言語との相互作用は可能な限りスムーズです。Scala は、Java と同列のコンパイルモデル(ダイナミックなクラスローディング、分割コンパイル)を採用しており、既存の多数の高品質ライブラリにアクセスできます。.NET フレームワーク(CLR &link([30]){http://msdn.microsoft.com/ja-jp/netframework/})のサポートも利用できます。 さらに次のページをお読みください。 - &link_anchor(21,page=TourOfScala1){ Scala ひと巡り : 抽象型 (Abstract Types)} - &link_anchor(31,page=TourOfScala1){ Scala ひと巡り : アノテーション (Annotations)} - &link_anchor(2,page=TourOfScala1){ Scala ひと巡り : クラス (Classes)} - &link_anchor(10,page=TourOfScala1){ Scala ひと巡り : ケースクラス (Case Classes)} - &link_anchor(52,page=TourOfScala1){ Scala ひと巡り : 事前定義された classOf 関数 (Predefined function classOf)} - &link_anchor(22,page=TourOfScala1){ Scala ひと巡り : 複合型 (Compound Types)} - &link_anchor(14,page=TourOfScala1){ Scala ひと巡り : シーケンス内包表記 (Sequence Comprehensions)} - &link_anchor(59,page=TourOfScala1){ Scala ひと巡り : 抽出子オブジェクト (Extractor Objects)} - &link_anchor(16,page=TourOfScala2){ Scala ひと巡り : ジェネリッククラス (Generic Classes)} - &link_anchor(63,page=TourOfScala2){ Scala ひと巡り : 暗黙のパラメータ (Implicit Parameters)} - &link_anchor(20,page=TourOfScala2){ Scala ひと巡り : 内部クラス (Inner Classes)} - &link_anchor(5,page=TourOfScala2){ Scala ひと巡り : ミックスインクラス合成 (Mixin Class Composition)} - &link_anchor(8,page=TourOfScala2){ Scala ひと巡り : 関数のネスト (Nested Functions)} - &link_anchor(6,page=TourOfScala2){ Scala ひと巡り : 無名関数の構文 (Anonymous Function Syntax)} - &link_anchor(9,page=TourOfScala2){ Scala ひと巡り : カリー化 (Currying)} - &link_anchor(28,page=TourOfScala2){ Scala ひと巡り : 型依存クロージャの自動構築 (Automatic Type-Dependent Closure Construction)} - &link_anchor(27,page=TourOfScala2){ Scala ひと巡り : オペレータ (Operators)} - &link_anchor(7,page=TourOfScala2){ Scala ひと巡り : 高階関数 (Higher-Order Functions)} - &link_anchor(64,page=TourOfScala2){ Scala ひと巡り : パッケージ (Packages)} - &link_anchor(11,page=TourOfScala2){ Scala ひと巡り : パターンマッチング (Pattern matching)} - &link_anchor(25,page=TourOfScala2){ Scala ひと巡り : 多相的メソッド (Polymorphic Methods)} - &link_anchor(13,page=TourOfScala2){ Scala ひと巡り : 正規表現パターン (Regular Expression Patterns)} - &link_anchor(123,page=TourOfScala3){ Scala ひと巡り : sealed クラス (Sealed Classes)} - &link_anchor(3,page=TourOfScala3){ Scala ひと巡り : トレイト (Traits)} - &link_anchor(18,page=TourOfScala3){ Scala ひと巡り : 上限 型境界 (Upper Type Bounds)} - &link_anchor(19,page=TourOfScala3){ Scala ひと巡り : 下限 型境界 (Lower Type Bounds)} - &link_anchor(23,page=TourOfScala3){ Scala ひと巡り : 明示的に型付けられた自己参照 (Explicitly Typed Self References)} - &link_anchor(4,page=TourOfScala3){ Scala ひと巡り : サブクラス化 (Subclassing)} - &link_anchor(26,page=TourOfScala3){ Scala ひと巡り : ローカルな型推論 (Local Type Inference)} - &link_anchor(1,page=TourOfScala3){ Scala ひと巡り : 統一された型 (Unified Types)} - &link_anchor(17,page=TourOfScala3){ Scala ひと巡り : 変位指定 (Variances)} - &link_anchor(24,page=TourOfScala3){ Scala ひと巡り : ビュー (Views)} - &link_anchor(12,page=TourOfScala3){ Scala ひと巡り : XML 処理 (XML Processing)} #center(){   [[先頭>TourOfScala0]] [[次>TourOfScala1]]} ------------------------------------------------ #comment
#setmenu2(tour-r-menu) &br() &aname(Top,option=nolink){ } * Scala ひと巡り (A Tour of Scala) #right(){ [[原ページ >http://www.scala-lang.org/node/104]] Published on The Scala Programming Language (http://www.scala-lang.org) . By admin . Created 2008-07-05, 20:31 } ●学習者の参考になればと思って訳してみましたが、誤訳の可能性大ですので、正しいことを知りたい方は必ず原文をお読みください。ご意見その他は、このページの下へ投稿してください。 Scala は簡潔でエレガント、そして型安全な方法で共通のプログラミングパターンを表現できるよう設計された現代的なマルチパラダイム・プログラミング言語です。オブジェクト指向と関数型言語の特質をスムーズに統合します。 &bold(){Scala はオブジェクト指向言語です} すべての値がオブジェクトである &link_anchor(1,page=TourOfScala3){[1]}という意味で、Scala は純粋なオブジェクト指向言語です。オブジェクトの型と振る舞いをクラス &link_anchor(2,page=TourOfScala1){[2]}とトレイト &link_anchor(3,page=TourOfScala3){[3]}によって記述します。クラスはサブクラス化 &link_anchor(4,page=TourOfScala3){[4]}と、多重継承の欠点のない置換えである、柔軟なミックスインベースの合成 &link_anchor(5,page=TourOfScala2){[5]}メカニズムにより拡張されます。 &bold(){Scala は関数型言語です} すべての関数が値である&link_anchor(1,page=TourOfScala3){[1]}という意味で、Scala は関数型言語でもあります。Scala は無名関数の定義に簡単な構文 &link_anchor(6,page=TourOfScala2){[6]}を提供します。それは高階関数 &link_anchor(7,page=TourOfScala2){[7]}をサポートし、関数のネストを可能とし&link_anchor(8,page=TourOfScala2){[8]}、カリー化 &link_anchor(9,page=TourOfScala2){[9]}をサポートします。Scala のケースクラス &link_anchor(10,page=TourOfScala1){[10]}とパターンマッチング &link_anchor(11,page=TourOfScala2){[11]}の組み込みサポートは、多くの関数型プログラミング言語で使われる代数型をモデル化します。 さらに、Scala のパターンマッチングの概念は、右無視シーケンスパターン(right-ignoring sequence pattern) &link_anchor(13,page=TourOfScala2){[13]}の助けにより、XML データ &link_anchor(12,page=TourOfScala3){[12]}の処理へ自然に拡張されます。このコンテキストにおいて、シーケンス内包表記(sequence comprehensions) &link_anchor(14,page=TourOfScala1){[14]}はクエリの設計に役立ちます。 これらの特徴により Scala は、Web サービス&link([15]){http://ja.wikipedia.org/wiki/Web%E3%82%B5%E3%83%BC%E3%83%93%E3%82%B9}のようなアプリケーション開発に理想的なものとなっています。 &bold(){Scala は静的な型付け言語です} Scala は、抽象化が安全で首尾一貫した方法でなされることを静的に強制する、表現力豊かな型システムを備えています。 特に、型システムは次をサポートします。 - ジェネリッククラス (generic classes &link_anchor(16,page=TourOfScala2){[16]}) - 変位指定アノテーション (variance annotations &link_anchor(17,page=TourOfScala3){[17]}) - 上/下限 型境界 (upper&link_anchor(18,page=TourOfScala3){[18]} and lower&link_anchor(19,page=TourOfScala3){[19]} type bounds) - 内部クラスとオブジェクトメンバーとしての抽象型(inner classes &link_anchor(20,page=TourOfScala2){[20]} and abstract types &link_anchor(21,page=TourOfScala1){[21]} as object members) - 複合型 (compound types &link_anchor(22,page=TourOfScala1){[22]}) - 明示的に型付けされた自己参照 (explicitly typed self references &link_anchor(23,page=TourOfScala3){[23]}) - ビュー (view &link_anchor(24,page=TourOfScala3){[24]}) - 多相的メソッド (polymorphic methods &link_anchor(25,page=TourOfScala2){[25]}) ローカルな型推論 &link_anchor(26,page=TourOfScala3){[26]}機構のおかげで、ユーザーはプログラムに冗長な型情報で注釈を付ける必要がありません。これらフィーチャーの組み合わせは、プログラミング抽象の安全な再利用とソフトウェアの型安全な拡張に、強力な基盤を提供します。 &bold(){Scala は拡張性に富んでいます} 現場では、固有領域のアプリケーション開発はしばしば領域固有の言語拡張を必要とします。Scala は、新たな言語要素をライブラリの形でスムーズに容易に加えることのできる、言語メカニズムのユニークな組合せを提供します: - どのようなメソッドも中置あるいは後置演算子 &link_anchor(27,page=TourOfScala2){[27]}として使えます。そして - 要請型(expected type:期待される型)に応じて、クロージャが自動的に構成されます&link_anchor(28,page=TourOfScala2){[28]}(target typing:ターゲットによる型付け)。 両フィーチャーの併用により、構文拡張なしで、またマクロのようなメタプログラミング機能の助けを借りずに、新しい構文を簡単に定義できるようになります。 &bold(){Scala は Java や .NET と相互運用できます} Scala は、ポピュラーな Java 2 実行環境(JRE &link([29]){http://www.oracle.com/technetwork/jp/java/javase/tech/index-jsp-316058-ja.html})とうまく相互運用できるように設計されています。特に、主流のオブジェクト指向 Java プログラミング言語との相互作用は可能な限りスムーズです。Scala は、Java と同列のコンパイルモデル(ダイナミックなクラスローディング、分割コンパイル)を採用しており、既存の多数の高品質ライブラリにアクセスできます。.NET フレームワーク(CLR &link([30]){http://msdn.microsoft.com/ja-jp/netframework/})のサポートも利用できます。 さらに次のページをお読みください。 - &link_anchor(21,page=TourOfScala1){ Scala ひと巡り : 抽象型 (Abstract Types)} - &link_anchor(31,page=TourOfScala1){ Scala ひと巡り : アノテーション (Annotations)} - &link_anchor(2,page=TourOfScala1){ Scala ひと巡り : クラス (Classes)} - &link_anchor(10,page=TourOfScala1){ Scala ひと巡り : ケースクラス (Case Classes)} - &link_anchor(52,page=TourOfScala1){ Scala ひと巡り : 事前定義された classOf 関数 (Predefined function classOf)} - &link_anchor(22,page=TourOfScala1){ Scala ひと巡り : 複合型 (Compound Types)} - &link_anchor(14,page=TourOfScala1){ Scala ひと巡り : シーケンス内包表記 (Sequence Comprehensions)} - &link_anchor(59,page=TourOfScala1){ Scala ひと巡り : 抽出子オブジェクト (Extractor Objects)} - &link_anchor(16,page=TourOfScala2){ Scala ひと巡り : ジェネリッククラス (Generic Classes)} - &link_anchor(63,page=TourOfScala2){ Scala ひと巡り : 暗黙のパラメータ (Implicit Parameters)} - &link_anchor(20,page=TourOfScala2){ Scala ひと巡り : 内部クラス (Inner Classes)} - &link_anchor(5,page=TourOfScala2){ Scala ひと巡り : ミックスインクラス合成 (Mixin Class Composition)} - &link_anchor(8,page=TourOfScala2){ Scala ひと巡り : 関数のネスト (Nested Functions)} - &link_anchor(6,page=TourOfScala2){ Scala ひと巡り : 無名関数の構文 (Anonymous Function Syntax)} - &link_anchor(9,page=TourOfScala2){ Scala ひと巡り : カリー化 (Currying)} - &link_anchor(28,page=TourOfScala2){ Scala ひと巡り : 型依存クロージャの自動構築 (Automatic Type-Dependent Closure Construction)} - &link_anchor(27,page=TourOfScala2){ Scala ひと巡り : オペレータ (Operators)} - &link_anchor(7,page=TourOfScala2){ Scala ひと巡り : 高階関数 (Higher-Order Functions)} - &link_anchor(64,page=TourOfScala2){ Scala ひと巡り : パッケージ (Packages)} - &link_anchor(11,page=TourOfScala2){ Scala ひと巡り : パターンマッチング (Pattern matching)} - &link_anchor(25,page=TourOfScala2){ Scala ひと巡り : 多相的メソッド (Polymorphic Methods)} - &link_anchor(13,page=TourOfScala2){ Scala ひと巡り : 正規表現パターン (Regular Expression Patterns)} - &link_anchor(123,page=TourOfScala3){ Scala ひと巡り : sealed クラス (Sealed Classes)} - &link_anchor(3,page=TourOfScala3){ Scala ひと巡り : トレイト (Traits)} - &link_anchor(18,page=TourOfScala3){ Scala ひと巡り : 上限 型境界 (Upper Type Bounds)} - &link_anchor(19,page=TourOfScala3){ Scala ひと巡り : 下限 型境界 (Lower Type Bounds)} - &link_anchor(23,page=TourOfScala3){ Scala ひと巡り : 明示的に型付けられた自己参照 (Explicitly Typed Self References)} - &link_anchor(4,page=TourOfScala3){ Scala ひと巡り : サブクラス化 (Subclassing)} - &link_anchor(26,page=TourOfScala3){ Scala ひと巡り : ローカルな型推論 (Local Type Inference)} - &link_anchor(1,page=TourOfScala3){ Scala ひと巡り : 統合された型 (Unified Types)} - &link_anchor(17,page=TourOfScala3){ Scala ひと巡り : 変位指定 (Variances)} - &link_anchor(24,page=TourOfScala3){ Scala ひと巡り : ビュー (Views)} - &link_anchor(12,page=TourOfScala3){ Scala ひと巡り : XML 処理 (XML Processing)} #center(){   [[先頭>TourOfScala0]] [[次>TourOfScala1]]} ------------------------------------------------ #comment

表示オプション

横に並べて表示:
変化行の前後のみ表示:
ツールボックス

下から選んでください:

新しいページを作成する
ヘルプ / FAQ もご覧ください。