gakuzzzz

MonadTransformer とは何か

注意書き

この記事は Monad がわかる人に向けた MonadTransformer の解説記事です。

すごいH本や FP in Scala などでモナドまではイメージが掴めたけれど、モナドトランスフォーマーが何かわからない、という層をターゲットに想定しています。

基本的に Functor, Applicative, Monad および型クラスについては把握しているものとしますので、この辺があやふやな方は別の資料などをご参照下さい。

gakuzzzz

Design Patterns in Scala

Scala でよく見るパターン

Type-Safe Builder

Javaで多引数のコンストラクタを避けるために使われる Builder パターンは、Scala では名前付き引数呼び出しが使えるので必要ありません。

Builderパターンに制約を加えて条件に合わない場合、コンパイルエラーにしたい。

gakuzzzz

Java8 の Stream で Map を操作するサポート作った

MapStreamSyntax というクラスで基本的に static import して使います。

具体例を見てもらえばどの辺が便利なのか伝わるでしょうか？

Case.1

// JDK標準APIのみ
public Map<Integer, String> Case1_Before(final Map<Integer, String> map) {

gakuzzzz

Scala の省略ルール早覚え

このルールさえ押さえておけば、読んでいるコードが省略記法を使っていてもほぼ読めるようになります。

メソッド定義

def concatAsString(a: Int, b: Int): String = {
  val a_ = a.toString();
  val b_ = b.toString();

gakuzzzz

trait と abstract class の使い分け

• 基本は迷ったら trait にしておけば良いと思います
  • trait は一つの class に複数 mixin できますが、class は一つしか継承できません
  • つまり、trait であれば mixin される class を気にしなくてよいですが、 abstract class にした場合は、extends される class が他に継承したい物が無いか気にする必要があります
• trait はコンストラクタを持つ事ができませんが、abstract class はコンストラクタを持つ事ができます
  • 従って、型引数に制約をつけたい時や、共通のフィールドの初期化などがある場合は、abstract class にすると楽な場合があります。
• 以下に具体例を示します。良くある Java の enum を Scala で定義する場合の例です。

gakuzzzz

trait EnumLike {
  type Value
  def value: Value
}
trait StringEnumLike extends EnumLike {
  type Value = String
}

gakuzzzz

ActionFunction の紹介

この記事は Play framework Advent Calendar 2014 の7日目です。

昨日は @dorako321 さんの Play framework Advent Calendar 2014 6日目 位置情報を使ってみよう でした。

明日は @nazoking さんの play2.3 の sbt-web を使わず node で代替システムを作るための資料 です。

さて、そんなこんなで公式ドキュメントではまだ語られていない ActionFunction とそのサブトレイトについて紹介したいと思います。 (公式ドキュメントにも記載ありました https://www.playframework.com/documentation/2.3.x/ScalaActionsComposition#Different-request-types )

gakuzzzz

Java8 の Stream API は Stream#collect メソッドを使って様々な集約を行う事ができます。

java.util.stream.Collectors で様々な Collector が提供されていますが、Collectors.collectingAndThen のような合成が中心で同時に二つの集約を行うといった事が簡単にできません。

そのため、ラムダ禁止について本気出して考えてみた - 9つのパターンで見るStream API の「7. streamの外に結果を残す（禁止度：A）」で書かれている様な思わず禁止したくなっちゃう様なコードを書かざるを得ません。

// 引用: ラムダ禁止について本気出して考えてみた
//       7. streamの外に結果を残す（禁止度：A）
void averageAndSum1(List list) {

gakuzzzz

前提

こちらのツイート https://twitter.com/matarillo/status/1302048512771645440 をみて foldMap か foldLeft で簡単に書けるのでは？と思ったのが発端

データ構造がこんな感じだとして

  case class OrganizationRecord(
    id: Long,
    organizationLv1: String,

gakuzzzz

class Foo[+A]
class Bar[-A]

class Test1[A] {
  def piyo(a: A): Unit = ???      // OK
  def poyo(a: Foo[A]): Unit = ??? // OK
  def puyo(a: Bar[A]): Unit = ??? // OK

 def paya(): A = ??? // OK