ByteBuffer は便利 DataInputStream の readFully みたいに指定サイズを Byte バッファに読み込んで ByteBuffer にして返すメソッド。 この時のデータはリトルエンディアン import java.nio.{ByteBuffer,ByteOrder} ..snip.. def read[S

型の階層構造とは関係なく特定のメソッドを定義して、このメソッドを持つ型として定義できる。 Ruby や python のダックタイピングと同じようなもの戻り値の型が Unit で引数無しの close メソッドを持つ型を構造的部分型として指定 def using[S <: { def close(): Unit }, U](s: S)(f: S => U): U = { </:>…

上限境界、下限境界を指定して型パラメータまたは抽象型の型に制限をつけることができる。 上限境界(upper bounds) [T : T は、型 Parent のサブ型(子の型)を参照 型パラメータまたは抽象型の型のスーパー型(親の型: Parent)から許可 サブ型への境界は Nothi…

型パラメータで型の横に共変(+), 反変(-)の変位アノテーションを付けて変位指定ができる。 変位指定アノテーションを付けない場合は非変(nonvariant)になる。 どのパラメータ型を渡せるかの3種類の規則を指定。 共変(covariant) 型コンストラクタに共変の変…

型変換用の関数の定義に implicit つけると型変換が必要な場面で自動的に型変換関数が実行される。例えば forへ指定する Int to Int で暗黙の型変換が使用されている。 1 to 3 は RichInt の to メソッドから Range(1,2,3) が返される。 1 の Int は、暗黙の…

パターンマッチは条件分岐を記述する switch 文に似た構文 主にデータの比較、分解、抽出の用途で使用する。 実行時に該当するパターンが選択肢にない場合は scala.MatchError が発生する。 switch の default はないが、default と同等のパターンとしてワイ…

前に勉強用に書いたXMLファイルの要素と属性の表示「XMLファイルの要素と属性をベタに表示」はXMLファイルにXML宣言がない場合は処理できなかったので、Opttion#getOrElse でXMLファイルにXML宣言がない場合は、デフォルトのエンコーディングに UTF-8 を指定…

XMLファイルを読み込むプログラムを勉強がてらつくりました。Scala は XML 操作が便利。 scala.xml.parsing.ConstructingParser に Source を渡すとXML操作用の Document が取得できるので Node を使って要素のラベルと値、属性、子要素をすべてベタに表示。…

Scala で処理時間を計測する Benchmark trait があったので 試しに 1から100万の整数要素を持つリストの各要素を合計する計算処理の時間を、 末尾再帰関数、forループ、whileループ、List の sum で計測してみた。Benchmark の runBenchmarkメソッドは引数の…

関数型言語では、副作用のないプログラムを行うため繰り返し処理はループではなく再帰を使用。 ただ、Scala で限定的に使用するループで副作用(変数の更新)があっても特に問題なさそうだが、やはりできるだけ副作用のない再帰を使いたい。 再帰のサンプルは…

引数の型に合わせた暗黙の値を指定しておくと、関数(メソッド)呼び出し時の引数を省略できる。 関数定義の引数リストで引数名の前に implicit を付けると暗黙の引数が適用される。 引数を省略しないときは関数呼び出し時の指定値がそのまま渡される。 implic…

Listとほぼ同じで、違いは実際に要素が指定されるまで作成が遅延される。 要素が無限に続くリストや要素数を事前に決められないリストとして表現できる。Stream.cons は List の :: と同じように 先頭要素とリスト(Stream)を連結する。 cons は Streamコンパ…

名前渡し引数(by-name parameter) 名前渡し引数は、メソッド内で引数の名前が実際に使用される時に評価される。 引数が複数回参照される場合は、参照される度に評価される。 引数の型の前に => を付ける。(引数名: => 型) Scala は通常は、値渡し(関数を呼び…

デフォルト引数 関数、メソッドの定義で引数にデフォルト値を指定できる。 デフォルト引数は引数の一部またはすべてに指定できる。 デフォルト引数は、関数、メソッドの定義の際に 引数名: 型 = デフォルト値 の形式で定義する。 可変長引数と併用することは…

ListBuffer は mutable (変更可能) な List。 頻繁に追加、変更する場合は List だと新規に List を作成し直すため処理効率が 低下するので、そんな場合に ListBuffer を使用します。ただし Scala は ListBuffer を暗黙には import していないので、使用する…

List の高階メソッド ( exists, forall, sortWith, foldLeft, foldRight ) 特定の条件に合致する要素があるかを判定する リストの要素中に条件に合致する要素があるかどうかを判断する。 要素を引数にとりBooleanを返す述語関数を引数に指定する。 要素中に1…

List の高階メソッド ( foreach, map, filter, find, partition ) foreach すでに、何度も使用している foreach はリストの各要素に対して、 引数で指定された関数を適用させる。 foreach に指定する引数は、1つの引数をとり戻り値が Unit(戻り値無し) の関…

部分適用関数 複数の引数をとる関数の引数の一部に値を指定し、残った引数を未適用にした状態の 部分適用関数を作成できる。foo の3つの引数の内、真ん中の引数を未確定にして前後の引数を指定した 部分適用関数値を pa に代入。 pa は foo の真ん中の引数だ…

ローカル関数 関数定義のスコープ内に、関数を定義できる。 同じスコープ内からしか見えないローカル関数になる。 ローカル関数は外側の関数の引数や変数にアクセスできる。 scala> def foo(list: List[String], n:Int) = { | def bar(s: String) = if (s co…

コンストラクタの引数や関数の引数がある条件を満たしているかの 事前のチェックは、require を使用する方法がある。 scala> def foo(a: Double, b: Double) = { require(b != 0); a / b } foo: (a: Double, b: Double)Double scala> foo(5, 2) res0: Double…

関数型プログラミングでは「メソッドはどんな副作用(side effect)も持ってはならない」 *1 *2 という発想があります。 仕事でも、副作用がないプログラミングはバグを減らせる御利益があると思って java のプログラムで複数のオブジェクトが参照する Map や …

Scalaでも型のキャストができる。 が、本来はキャストが不要なプログラムにするべき。汎用的な型でコレクションを作成すると本来の型にキャストしてしないと 処理できない場合がでてくる。Any で List をつくると、要素を取り出して加算を行う場合は "+" の…

java に似ているけれど、違うところ パッケージにも指定できる。 public キーワードは無い。private, protected を指定する。 アクセス修飾子の指定なし(デフォルト)が public の意味。 protected メンバーは定義クラスとその派生クラスのみアクセスできる。…

java によく似た形式だが、Scala は非チェック例外なので throws でチェックする例外を 宣言する必要がないしコンパイルエラーを消すために無理に try catch を記述する必要もない。 (@throwsアノテーションを使えば、throws宣言は可能) また、java の throw…

基本的な(明示的に型を宣言しなくてもコンパイラが型を推論してくれる)型推論の内容のまとめ 型宣言を省略できる場合 変数宣言時の型の指定 関数の戻り値の型の指定 関数の戻り値の型指定で例外として以下の場合は型の指定が必要になる。 関数内部で再帰呼び…

高階関数 関数を引数として受け取る関数または関数を返す関数のことを高階関数と呼ぶ。 文字列の引数 str を受け取って、「Int型整数を引数で受け取り文字列を返す関数」を返す。 scala> def foo(str: String) = (v: Int) => str + v foo: (str: String)(Int…

java の assert と同じように使用できる。 Predef の関数(メソッド)として定義されている。 scala> assert(0 < 1) scala> assert(0 > 1) java.lang.AssertionError: assertion failed at scala.Predef$.assert(Predef.scala:89) ..snip.. 2個の引数に条件を…

Scala では暗黙に、すべてのプログラムで下の3つのインポート文を追加している。 import java.lang._ import scala._ import Predef._ scala._ scalaパッケージのすべて(Scalaの基本クラス) java.lang._ Javaの標準基本クラス Predef._ Predef オブジェクト…

シンボル シンボルは文字列のかわりに、マップのキーとして使われる事が多い。 シンボルは同じ名前の場合はメモリ上で同じオブジェクトを指す。 シンボルリテラルはシングルクォート(')の後に文字で始まりその後、0個以上の数字か文字が続く。 scala> 'foo r…

リスト先頭から指定要素数の後のリストを得る。( drop ) scala> val foo = List(4, 5, 6, 7) foo: List[Int] = List(4, 5, 6, 7) scala> foo.drop(2) res0: List[Int] = List(6, 7) scala> foo.drop(1) res1: List[Int] = List(5, 6, 7) scala> foo.drop(3) …