Refactoring in Scala
class: center, middle # Refactoring in Scala Scala Matsuri 2016 1/30 --- class: middle ## Who am I * Manabu Nakamura * [@gakuzzzz](https://twitter.com/gakuzzzz) * Tech to Value Co.,Ltd.  --- class: middle ## Who am I I'm a "Professional Null Cleaner"  Lately my work has been removi
継続モナドを使ってWebアプリケーションのコントローラーを自由自在に組み立てる - Qiita
継続モナドを使ってPlay FrameworkのActionを作るという話をします。 Play FrameworkはScalaのWebアプリケーションフレームワークであり、Actionはそのコントローラー部分になります。 この記事を読むにあたって継続モナドの知識は前提としませんが、 ある程度のモナドの知識(Scalaのfor構文の使い方、ScalaのモナドがflatMapメソッドで合成できることなど) Play Frameworkの使い方(PlayのActionがどのようなものであるかなど) などの知識は前提とし、説明を省略させていただきます。 話の流れとしては以下のようになります。 コントローラーで継続モナドを使いたい動機 継続モナドとは？ なぜコントローラーで継続モナドを使うと便利なのか？ 継続モナドとFutureを組み合わせることでエラー処理を整理する 継続モナドを使ったAction
ScalaでFutureとEitherを組み合わせたときに綺麗に書く方法 - xuwei-k's blog
組み合わせるとはつまりアレのことを書くのですが、一応それほど前提知識無くても理解できるように書いてみます。さて、なぜいきなりEitherとFutureか？というと play2とか使ってると、Futureがよく出てくる Futureをそこら中でAwaitしたらFuture使う意味がないので、Future[A]をmapやflatMapなどでどんどん連鎖させて、メソッドの型にFutureが大量に出現！ Futureは非同期に行われる処理であり、そこで例外発生したら、その中に例外を含むしかない(単純に例外投げるわけにはいかないというか不可能) Scala標準ライブラリのFutureは、Throwable型で例外を保持できるようになってる 逆にいうと、Throwableでしか保持できない 例外の種類が多くなってきて、プログラムが複雑になった場合、Throwableではなくもっと限定された独自のエラー
Scalaz の NaturalTransformation - xuwei-k's blog
以下のやりとりなどをして、なんとなく書きたくなったので解説してみます。 @gakuzzzz implicitついてないし、型クラスのインスタンスではなく、「高階レベルの関数」ですね。Id型使いたいだけなら、それ使っていいと思います(なにに使うのか・・・？) 2013-09-11 16:07:49 via web to @gakuzzzz ↑昨日。 ↓こっちは別のやりとり .@nagise @yuroyoro 値が多相になれないというかHaskellのforallが直接表現できないので、Haskell版のこれ URL をScalaで書くとこんなに長く、とか URL 2013-09-12 19:29:14 via web to @nagise まず問題です、scala.util.Try[A]をscala.Either[Throwable, A] に変換するメソッドは、どのように書けるでしょうか
抽象的な Future · eed3si9n
2012-12-12 / scalaz これは Scalaz Advent Calendar 2012 12日目の記事です。 次々と Scala 界の知能派を集結させている Precog 社の開発チームからのブログ Precog.Copointed。今日は blueeyes などの開発でも知られる Kris Nuttycombe (@nuttycom) さんが書いた The Abstract Future を翻訳しました。翻訳の公開は本人より許諾済みです。 2012年11月27日 Kris Nuttycombe 著 2012年12月11日 e.e d3si9n 訳 Precog 開発ブログの前回は僕たちが Cake パターンを使ってコードベースを構造化して、ギリギリまで実装型を抽象化してしていることを Daniel が書いた。その記事での説明のとおり、これは非常に強力な概念だ。型を存在型と
start_scalaz2
発表者よしださんしろう(halcat0x15a) Scala, Clojure, Haskellとか Scalaは2.5年くらい書いてます Scalazは1年くらい 大学生になりました 夏休みです（今日まで） apidoc build.sbt scalaVersion := "2.10.0-M7" libraryDependencies <+= scalaVersion(v => "org.scalaz" % ("scalaz-core_" + v) % "7.0.0-M3" ) scalacOptions ++= Seq( "-feature", "-deprecation" ) initialCommands in console := "import scalaz._, Scalaz._"
start_scalaz
発表者よしださんしろう(halcat0x15a) Scala, Clojure, Haskellとか Scalaは2.5年くらい書いてます Scalazは1年くらい 大学生になりました 夏休みです apidoc build.sbt scalaVersion := "2.10.0-M6" resolvers += "Typesafe Snapshots" at "http://repo.typesafe.com/typesafe/snapshots/" libraryDependencies ++= Seq( "org.scalaz" %% "scalaz-core" % "7.0.0-M1" ) scalacOptions += "-feature" initialCommands in console := "import scalaz._, Scalaz._"
Scalaz の命名規則 - がくぞーのメモ
この記事は Scalaz Advent Calendar 2012 の4日目です。 どこかで Scalaz7 の package や class/trait の命名規則について書いてというのを見た気がするのでその辺を書いてみようと思います。 ちなみにあくまで現状のソースコードを見た上での推測で、MLなり何なりで裏取った情報ではない事を先に明記しておきます。内容に誤りなどありましたらぜひぜひご指摘ください。 Suffix無し 主に scalaz パッケージ直下にある、Suffix のついていないクラス/トレイトは大きく分けて2種類に分類されます。 一つが Scalaz が提供する型クラス。Functor とか Foldable とかそういったモノですね。あくまで型クラスの定義であって、型クラスのインスタンスではありません。 もう一つが Scalaz が提供するデータ構造。Validation
合成できるモナド、モナドが合成できる時 - Milestones to EVERPEACE 〜alius via〜
(今回のコードは github:everpeace/composing-monads にあります。) 一般に、モナドって合成できないって言われますよね。 でも、モナドって合成できる場合も有るんです。 今回はまず、合成が難しい(できない)理由を説明して、 じゃぁ「モナドが合成できる時」はいつなのか？ というのと「合成できるモナドたち」をちょっとだけ紹介してみます。 それにはまず、ここから始めましょう。 モナドをflatMapじゃなくてflattenで定義してみる。 flatMapで定義されるモナドのおさらい Mというモナドは次の用に定義されます。 trait Functor[F[_]]{ def map[A,B](fa:F[A])(f:(A) => B):F[B] } trait Monad[M[_]] extends Functor[M]{ def unit[A](a:A):M[A] de
Scalazの型クラス
Functor＆Pureは型クラスPointedとして定義されています。Pointed Functorと呼ぶこともあるようです。 Applicative Functorの型クラスApplicativeはFunctor＆Pure＆Applyとなります。Applicative Functorのapply演算は型クラスApplyが提供します。 Monadの型クラスMonadはFunctor＆Pure＆Apply＆Bindとなります。Monadのunit演算、bind演算はそれぞれ型クラスPureと型クラスBindが提供します。Monadのjoin演算は型クラスとしては定義されていませんが、型クラスBindのbind演算から逆算する関数が定義されています。 機能順で示すと: Monad ＞ Applicative Functor ＞ Pointed Functor ＞ Functor ということに
Practical scalaz
This document summarizes a talk on using the Scalaz library. It introduces key Scalaz concepts like typeclasses, monoids, and validation. Typeclasses allow uniform implementation of common patterns across types. Monoids represent structures with an associative binary operation and an identity. Validation provides an applicative way to represent failure without exceptions. The document gives exampl
Pragmatic IO
This post is my exploration of the use of the IO type in a small Scala application. A short IO introductionScala is a pragmatic language when you start learning Functional Programming (FP). Indeed there are some times when you can't apply the proper FP techniques just because you don't know them yet. In those cases you can still resort to variables and side-effects to your heart's content. One of
Iterator パターンの本質 · eed3si9n
2011-12-17 これは Scala Advent Calendar 2011 の 17日目の記事です。 specs2 の作者であり、@etorreborre としても活発に発言を続けるシドニーの強豪 Eric Torreborre さんが書いた “The Essence of the Iterator Pattern” を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2011年6月24日 Eric Torreborre 著 2011年12月17日 e.e d3si9n 訳 去年読んだ論文で一番気に入ったのは “The Essence of the Iterator Pattern”（以下、EIP）だ。これを読んだ後で、今まで何年も使い続けてきたあるものに対する考えがガラリと変わった。それは、for ループだ。 この論文の中からいくつか
GHC拡張っぽいことを色々と - einblickerの日記
Scala | 19:07 | Scalaでやってみた。ただのお遊びです。 GADTs型安全なDSLとかを書くのに使えるらしい。 sealed trait Expr[T] case class I(x: Int) extends Expr[Int] case class B(x: Boolean) extends Expr[Boolean] case class Add(lhs: Expr[Int], rhs: Expr[Int]) extends Expr[Int] case class Mul(lhs: Expr[Int], rhs: Expr[Int]) extends Expr[Int] case class Eq(lhs: Expr[Int], rhs: Expr[Int]) extends Expr[Boolean] Mul(Eq(I(123), I(324)), I(456)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Scalaz勉強会 - 資料一覧 - connpass
https://blog.stackmob.com/2012/02/an-introduction-to-lenses-in-scalaz/
Dropbox - Error - Simplify your life
Scalaz Seven Functor Feels like Seven Samurai
Towards an Effect System in Scala, Part 2: IO Monad
Towards an Effect System in Scala, Part 1: ST Monad
