ScalazのKleisliとEndomorphic - xuwei-k's blog
Scalazネタです。しかもわりとマニアックな、Scalaz初心者向けではないネタかもしれません。前から書きたかったけど、良いサンプルが思いつかなくて躊躇してましたが、良いサンプルを見つけたのでKleisliとEndomorphicについて書きます。 Kleisliはともかく、Endomorphicは最近入ったので、日本語記事はおろか現時点では英語の解説もほとんど無いのではないかと思います。最近とはこのpull reqですが、7.1.0-M1からで、7.0.x系の最新版の7.0.4には入っていません。*1 さて前置きはこれくらいにして解説を始めます。まず、独習Scalazを引用します。 5日目 騎士の旅 case class KnightPos(c: Int, r: Int) { def move: List[KnightPos] = for { KnightPos(c2, r2) <-
Scrap Your Cake Pattern Boilerplate: Dependency Injection Using the Reader Monad | Originate
Scrap Your Cake Pattern Boilerplate: Dependency Injection Using the Reader Monad There are a number of ways to do dependency injection in Scala without adding a framework. The cake pattern is probably the most popular approach and is used in the Scala compiler itself. Using implicit parameters is less popular and is used in the Scala concurrency libraries. An approach that doesn't get as much ment
scalaの多相いろいろ - おみブロZ
scalaでのいろいろな多相の実装方法とそのpimp my library pattern版をいろいろ書いて比較してみたいと思います。 オーバーロード これも一応多相と言うらしい。 // オーバーロードによる多相 class John class Taro def greet(john: John) { println("My name is John!") } def greet(taro: Taro) { println("太郎です") } val john = new John() greet(john) val taro = new Taro() greet(taro) 継承 一般的にはこれをポリモーフィズムと呼ぶことが多いと思います。 // 継承による多相 trait Greeter { def greet() } class John extends Greeter { def
比較はモノイド - akihiro4chawonの日記
比較モナドについて考察されている一連のエントリに感銘を受けて、私も比較について考えてみました。 比較モナド - terazzoの日記 続・比較モナド - terazzoの日記 続・続・比較モナド〜復讐編〜 - terazzoの日記 まず、考察対象として「比較結果」と「比較操作」に分けて考えます。比較結果というのは、比較後に返ってくる値(例：Java の Comparator の compare における 負・零・正)を言います。比較操作というのは、比較する関数(あるいは関数オブジェクト)自体(例：Java の Compartor 自体)を言います。 比較結果モノイド 比較結果というのは、2つの比較対象に対して、その片方が他方よりも「小さいのか」「等しいのか」「大きいのか」を示す値です。例えば、Perl の 比較演算子 <=> や Java の Comparator において、左辺が小さいこ
scalaz.StateT で scalaz.State と Option を組み合わせる - cooldaemonの備忘録
scalaz の ExampleState に StateT のサンプルが無かったので試してみた。 気が向いたら、そもそも State モナドって何よ？という所から説明書くかも。 package com.github.cooldaemon.try_scalaz import scalaz._ object TryState { import Scalaz._ def run { def initO = stateT[Option, Int, Int]((s: Int) => if (s % 2 == 0) Some((s, s)) else None ) initO ! 1 assert_=== None initO ! 2 assert_=== Some(2) def putO(s: Int) = stateT[Option, Int, Unit](_ => if (s % 2 == 0
Scalaでポイントフリースタイル
関数合成の話がTLであったので書いてみる。 最近だとゆろよろさんの記事が面白い。 http://d.hatena.ne.jp/yuroyoro/20120203/1328248662 http://d.hatena.ne.jp/yuroyoro/20120206/1328513534 Category とりあえずCategoryから。 Categoryとか知らない人は https://github.com/quassia88/introduction-to-category-theory-in-scala-jp/wiki を見て、なんとなく分かってみてください。 この圏論入門の記事だとCategoryのインスタンスはFunctionしか書いてなくて、抽象化をしていることがわかりにくいですが、ScalazではCategoryのインスタンスにFunction, PartialFunction,
scalaz.Forall を読む - 月の塵
ScalaScala では def で定義されたメソッドだけが多相性を持つことができ、値である関数は多相性を持つことができない。メソッドを関数に変換すると、そこで型パラメータが適当な型に特定化される。 scala> val id = identity _ id: Nothing => Nothing = メソッドの引き数に多相的な値を渡したりと rank-n 多相のようなことをしたいときにこれでは困ることがある。 scalaz の Forall は、そのようなときに Scala の型システムの範囲内で全称量化された値を扱うためのパッケージである。このパッケージには scala> val singleton = new Forall[({ type X[A] = A => List[A] })#X]{ | def apply[A] = (x : A) => List(x) | } sing
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
怖いScala
Dependency Injection for Configuring Play Framework Database Connection(s) part 1
scala - Pronounceable names for scalaz operators? - Stack Overflow
https://raw.githubusercontent.com/arosien/scalaz-base-talk-201208/master/scalaz-cheatsheet.pdf
Scalaz State Monad