Download as PDF, PPTX
![returnが例外で実装されるケース
def hello(names: Seq[String]): String = {
names.foreach { name =>
if(name.isEmpty){
return ""
}
}
...
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-26-320.jpg)
![コンパイルされるとこんな感じ（イメージ）
def hello(names: Seq[String]): String = {
try {
names.foreach(checkHelloArguments)
} catch {
case e: NonLocalReturnControl[String] => return e.value
}
...
}
private def checkHelloArguments(str: String): Unit = {
if(str.isEmpty) throw new NonLocalReturnControl[String]("")
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-27-320.jpg)
![nullの代わりにOption型を使う
def findUser(id: Long): Option[User] = {
val user = userDao.get(id)
if(user == null){
None
} else {
Some(user)
}
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-31-320.jpg)
![Scalaでの例外処理
例外は副作用なので関数型プログラミングでは好まれない
関数の実行結果としてエラーを表現できる型で返す
ScalaにはEither[A, B]という型がある
正常な場合はRight[B]
エラーの場合はLeft[A]](https://image.slidesharecdn.com/scala-171224071902/85/Scala-35-320.jpg)
![Eitherの使い方
def findUser(): Either[Exception, User] = {
try {
val user: User = ...
Right(user)
} catch {
case e: Exception => Left(e)
}
}](https://image.slidesharecdn.com/scala-171224071902/85/Scala-36-320.jpg)
![Scalaで萌える関数型プログラミング[エッセンシャル版]](https://cdn.slidesharecdn.com/ss_thumbnails/scalalt-110709014759-phpapp02-thumbnail.jpg?width=640&height=640&fit=bounds)
![Scalaで萌える関数型プログラミング[1.1.RC1]](https://cdn.slidesharecdn.com/ss_thumbnails/tkscalascala-110819233541-phpapp01-thumbnail.jpg?width=640&height=640&fit=bounds)
頑張りすぎないScala
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15. 例: これらを使うべきか？使わないべきか？ ● var ●mutableコレクション ● return ● null ● 例外
- 16.
- 17. varとvalの違い 変数宣言 val name ="Naoki Takezoe" // 再代入不可能 var name = "Naoki Takezoe" // 再代入可能 Scalaでは一般的にvalの使用が推奨されている
- 18. varを使いがちなケース ループ処理などでフラグやアキュムレータに使いがち takeWhileやfoldLeftなどで代用可能だが取っつきづらい var line =reader.readLine() while(line != null) { ... line = reader.readLine() }
- 19.
- 20.
- 21. Scalaのコレクション Scalaにはimmutableなコレクションとmutableなコレクションが ある 基本的にはimmutableなコレクションが推奨されている // immutableなシーケンス val langs= Seq("Java", "Scala", "Kotlin") // mutableなシーケンス import scala.collection.mutable.ListBuffer val langs = ListBuffer("Java", "Scala", "Kotlin")
- 22. mutableコレクションを使いがちなケース ループしながら詰め替えるような処理で使いがち val list =... val map = mutable.Map("some" -> 0, "none" -> 0) list.foreach { x => if (x.nonEmpty) { map.put("some", map("some") + 1) } else { map.put("none", map("none") + 1) } }
- 23. mutableコレクションを禁止するべきか？ メソッド内での利用であれば許容してもよいのでは？ 戻り値として返す際にimmutableなコレクションに変換する なるべくimmutableなコレクションを使うよう啓蒙していく val map =list.groupBy(_.nonEmpty) .map { case (nonEmpty, values) => if(nonEmpty) "some" -> values.size else "none" -> values.size }
- 24.
- 25. Scalaのreturnはちょっと特殊 Ealry returnやループ処理中からのreturnなどが使われがち def hello(name:String): String = { if(name.isEmpty) return "" ... } 戻り値の型を明記しないといけなくなる コンパイル後に例外（ControlThrowableのサブクラス）で実現さ れるケースがある
- 26. returnが例外で実装されるケース def hello(names: Seq[String]):String = { names.foreach { name => if(name.isEmpty){ return "" } } ... }
- 27. コンパイルされるとこんな感じ（イメージ） def hello(names: Seq[String]):String = { try { names.foreach(checkHelloArguments) } catch { case e: NonLocalReturnControl[String] => return e.value } ... } private def checkHelloArguments(str: String): Unit = { if(str.isEmpty) throw new NonLocalReturnControl[String]("") }
- 28. returnを禁止するべきか？ 実際に問題になるケースは少ないので許容してもよいのでは そもそも例外をThrowableでキャッチするべきではない try { ... } catch{ case NonFatal(t) => ... }
- 29.
- 30.
- 31. nullの代わりにOption型を使う def findUser(id: Long):Option[User] = { val user = userDao.get(id) if(user == null){ None } else { Some(user) } }
- 32. nullの代わりにOption型を使う val user =findUser(id) user match { case None => ... // 存在しない場合の処理 case Some(user) => ... // 存在する場合の処理 }
- 33.
- 34.
- 35.
- 36. Eitherの使い方 def findUser(): Either[Exception,User] = { try { val user: User = ... Right(user) } catch { case e: Exception => Left(e) } }
- 37. Eitherの使い方 val result =findUser() // パターンマッチで結果を取り出す result match { case Right(user) => ... // 成功時の処理 case Left(e) => ... // エラー時の処理 }
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.