gakuzzzz

MonadError の嬉しみ

この記事は Scala Advent Calendar 2015 ADVENTAR の 19日目です。

まえがき

@gakuzzzz @kawachi @seratch_ja scalaz.MonadErrorで抽象化しましょう(という記事をがくぞーさんが書きましょう)

— Kenji Yoshida (@xuwei_k) 2015, 10月 27

<script async src="//platform.twitter.com/widgets.js" charset="utf-8"></script>

gakuzzzz

Java8 と fugue で Validation

この記事は エムスリー Advent Calendar 2015 の18日目の記事です。

まえがき

Java8 で色々便利になりました。でもエラー処理でやっぱり困る事は多々あって、そういう時に Either が欲しくなるものです。

Either といえば Java7 以前から Atlassian の fugue というライブラリがサポートしていました。

gakuzzzz

package jp.t2v.xanadu.ds;

import lombok.experimental.UtilityClass;

import jp.t2v.xanadu.ds.Tuples.T2;

import java.util.function.BiFunction;
import java.util.stream.Collector;
import java.util.stream.Collector.Characteristics;
import java.util.stream.Stream;

gakuzzzz

interface MyFunctor<A> {
    fun myMap<B>(f: (A) -> B): MyFunctor<B>
}

class MyFunctorList<A>(val list: List<A>) : MyFunctor<A>, List<A> by list {
    override fun myMap<B>(f: (A) -> B): MyFunctor<B>
        = MyFunctorList(list.map(f))

gakuzzzz

Monoid[G] の G に入る型は型引数をとらない kind が * の型だけど、仮に * の型にダミーの型引数 [.] をつけて G[.] と表現してみると

Method	Constraint	Signature
Foldable#foldMap	Monoid[G]	F[A] => (A => G[.]) => G[....]
Traverse#traverse	Applicative[G]	F[A] => (A => G[B]) => G[F[B]]
Foldable#fold	Monoid[G]	F[G[.]] => G[....]
Traverse#sequence	Applicative[G]	F[G[A]] => G[F[A]]

gakuzzzz

trait User {
  def present[F[_]](item: Item, targetUser: User)(implicit I: Item[F]) = {
    import I._
    for {
      onwership <- buy(item)
      _         <- targetUser.take(onwership)
    } yield ()
  }
}

gakuzzzz

class Foo {
  type L[A] = Either[String, A]
  foo[L](bar)
}

　↓

gakuzzzz

val enumerator: Enumerator[Array[Byte]] = ...
val pos = new PipedOutputStream()
val pis = new PipedInputStream(pos)
Future { useInputStream(pis) }

val it = Iteratee.foreach(pos.write)
enumerator.onDoneEnumerating(pos.close()) |>>> it

gakuzzzz

Free-ScalikeJDBC から見る合成可能なDSLの作り方

2015/07/24 関数型Scalaの集い

自己紹介

• 中村 学
• @gakuzzzz
• 株式会社 Tech to Value
• Scala関西 Summit 2015 スポンサーしてます

gakuzzzz

import enumlike.{EnumCompanionBase, EnumLike}
import scalikejdbc._

trait ScalikeJDBCEnumCompanion {
    self: EnumCompanionBase =>

  implicit def optionalTypeBinder(implicit ev: TypeBinder[EnumLikeType#ValueType]): TypeBinder[Option[A]] = ev.map(valueOf)
  implicit def typeBinder(implicit ev: TypeBinder[EnumLikeType#ValueType]): TypeBinder[A] = optionalTypeBinder(ev).map(_.get)
}