📝Scala

tags. 🔖JVM 🔖ProgLang

Scalaまとめ

Scala 開発環境

Emacs

• Emacs で Scala 開発環境を構築 (Ensime) | Futurismo

評価戦略

Scala は通常 Call-by-Value だが, =>を用いることで Call-by-Name で評価する.

High-Order Fuuction

Function Type

The type A => B is the type of a function that takes an argument oftype A and returns a result of type B . So, Int => Int is the type of functions that map integers to integers.

無名関数 (Annonimous Function)

(x: Int) がパラメータ, x * x * x は Body.

(x: Int) => x * x * x

カリー化

Data and Abstraction

trait

Java のインターフェースみたいなもの

class

Pattern Matching

条件分岐のための記法. もう, 「条件分岐は match 式, if 文は三項演算子」くらいの勢い.

Java:

switch ( <セレクター式> ){
  case 場合 : 処理
  ...
}

Scala の match 式:

<セレクター式> match {
  case パターン => 処理
  ...
}

• Scala 的な考え方 - Scala がとっつきにくいと思っている人へ - ゆるよろ日記

Lists

Collections

Monad

モナドとは, 関数型言語で, 参照透明性を保持しながら手続き型的な記述をするための枠組み.

モナドが理解できた時, 悟りがひらける.

• 刺激を求める技術者に捧げる Scala 講座 - 第 14 回 関数脳のつくり方 Second Season モナドで悟りをひらく:ITpro

Rx

Reactive Programming のための Scala ライブラリ.

	単数	複数
同期	Try[T]	Iterable[T]
非同期	Future[T]	Observable[T]

Try

例外をあつかうためのモナド. A monad that handles exceptions.

Option 型の派生. Scala には例外処理の書き方としては、

• try, catch,finally
• Option 型 Try

の２つがある.

Future

例外と遅延扱うモナド. A monad that handles exceptions and latency.

Future は、ある時点において利用可能となる可能性のある値を保持するオブジェクトだ。 この値は、なんらかの計算結果であることが多い。

その計算が例外とともに失敗する可能性があるため、Future は計算が例外を投げる場合を想定して例外を保持することもできる。ある Future が値もしくは例外を持つとき、Future は完了したという。 Future が値とともに完了した場合、Future はその値とともに成功したという。Future が例外とともに完了した場合、Future はその例外とともに失敗したという。

• Future と Promise - Scala Documentation

promise

メールボックスのようなもの.

Iterable

Observable

Akka

References

💻Functional Programming Principles in Scala - coursera

Scala言語作者の、Martion Odersky直々の講義.

[coursera]Scala作者直伝の講座！Functional Programming Principles in Scalaを受けた | Futurismo

References

Effective Java の Scala 版. ネットで日本語で無料.

• Effective Scala