Scalaまとめ
Scala 開発環境
Emacs
評価戦略
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 パターン => 処理
...
}Lists
Collections
Monad
モナドとは, 関数型言語で, 参照透明性を保持しながら手続き型的な記述をするための枠組み.
モナドが理解できた時, 悟りがひらける.
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 はその例外とともに失敗したという。
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 版. ネットで日本語で無料.