合成できるモナド、モナドが合成できる時 - 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
["parallel", "collections"] - 概要 - Scala Documentation
Aleksandar Prokopec, Heather Miller 著 Eugene Yokota 訳 動機 近年におけるプロセッサ製造業者のシングルコアからマルチコアへの移行のまっただ中で、産学ともに認めざるをえないのは「大衆的並列プログラミング」が大きな難題であり続けていることだ。 並列コレクション (parallel collection) は、並列プログラミングを容易にすることを目指して Scala 標準ライブラリに取り込まれた。 ユーザは低レベルな並列化に関する詳細を気にせず、親しみやすいコレクションという高レベルの抽象概念 (abstraction) を利用できる。 この概念が隠蔽する並列性によって、信頼性のある並列実行が開発者にとってより身近なものになると願っている。 アイディアは簡単だ -- コレクションはよく理解されており、よく使われているプログラミングの抽象概念だ。
Scala の開発に学ぶコードレビュー体制とプロジェクト開発 - xuwei-k's blog
コードレビューについて Oh, you `re no (fun _ → more) より引用 単に普段の開発で使っている VCS でそれを行なっていました。 つまり、コードの中にコメントの形でレビューを書き、それをコミットする。 そしてそこから派生する議論も全てコード上のコメントで行います。 (もちろん複雑な話になった場合は直接の議論を行い、合議の結果だけを記しておく、なども当然あるでしょう。) レビューをソースコードのコメントとして直接書き込むのは、GHC の開発でも時々見かけますね。例えば、新機能の開発 branch を作って、新しい機能を開発している時とか。 2012-08-14 18:44:19 via OpenTween まあ、主に入った変更に Simon Peyton Jones が（ソースコード上で直接）コメントしそれに従ってソースコードを修正する形なので、レビューと言えるほ
Does category theory make you a better programmer ?
How much of category theory knowledge should a working programmer have ? I guess this depends on what kind of language the programmer uses in his daily life. Given the proliferation of functional languages today, specifically typed functional languages (Haskell, Scala etc.) that embeds the typed lambda calculus in some form or the other, the question looks relevant to me. And apparently to a few o
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 ということに
Effective Scala
Effective Scala Marius Eriksen, Twitter Inc. marius@twitter.com (@marius) Table of Contents 序章 (Introduction) 整形: ホワイトスペース, 命名, Imports, Braces, Pattern matching, Comments Types and Generics: Return type annotations, Variance, Type aliases, Implicits Collections: Hierarchy, Use, Style, Performance, Java Collections Concurrency: Futures, Collections Control structures: Recursion, Returns, for loops
Introducing Akka 2.0 | @lightbend
Today we’re thrilled to announce the general availability of the Akka 2.0 open source project, which is at the heart of the Typesafe Stack 2.0. Akka is a modern event-driven middleware framework, for building high performance and reliable distributed applications in Java and Scala. Akka decouples business logic from low-level mechanisms such as threads and locks. Your Scala or Java program logic l
Tumblr における Scala - Kato Kazuyoshi
最近のウェブ系スタートアップが採用しているプログラミング言語やフレームワークまとめ とちょうど同じくらいの時期に High Scalability に Tumblr Architecture - 15 Billion Page Views A Month And Harder To Scale Than Twitter という記事がでていた。 まとめだと Tumblr は PHP を使っていることになっているけど、いま現在の Tumblr は PHP ですべてを書くのを止めて、Scala も使っているらしい。 Scala と Finagle Tumblr はもともと LAMP (Linux + Apache + MySQL + PHP) で出来ていた。スケールさせるために memcached や HAProxy でキャッシュしてみたり、MySQL を sharding してみたり、バックエ
Tumblr Architecture - 15 Billion Page Views a Month and Harder to Scale than Twitter - High Scalability -
With over 15 billion page views a month Tumblr has become an insanely popular blogging platform. Users may like Tumblr for its simplicity, its beauty, its strong focus on user experience, or its friendly and engaged community, but like it they do. Growing at over 30% a month has not been without challenges. Some reliability problems among them. It helps to realize that Tumblr operates at surprisin
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Futures and Promises in Scala 2.10
Introducing Scala-IO
3 Tips for Writing Performant Scala | Sumo Logic
Scala 2.10.0 (english version)
Scala Cookbook | Scala Cookbook
bitbucketの使い方
GitHub - sbt/sbt-man: Looks up scaladoc.
sbt plugins roundup · eed3si9n
English (US)
English (US)
Good night, Posterous