「OracleとGoogleの判決文を斜め読む」を読んで裁判の経緯は理解できたものの、判決の詳細があまり理解できなかったので判決文を自分で読んだ。法律的な難しさはあまりなく、技術的な論点と関係する条文および過去の判例などが非常にわかりやすく解説されており、判決の根拠もたとえ話を交えて書かれているなど非常に読みやすい印象を受けた。
全体の内容としては比較的単純で「あらゆるプログラムのコードは著作権で保護される。ただしFair Useによる合法的な利用に関しては差し戻し審で審議せよ」という事のようだ。実は「API」という言葉は一切判決文には出てこないため、内容を良く読む必要がある。
| レンズは余状態余モナドの余代数だった | |
| =================================== | |
| 余余余〜！別名`関数的参照`とも呼ばれる[レンズ](https://hackage.haskell.org/package/lens)はJavaのGetter, Setterと同等と[言われる](https://twitter.com/plt_borat/status/228009057670291456)関数型プログラミングのデザインパターンの一つです。 | |
| レンズは余状態余モナドの余代数だと[聞いて](https://twitter.com/hiratara/status/317602743219003392)そうなのかーと思ってたのですが、ふと自分で実装してみたくなったので **余状態余モナドの余代数** として実装してみることにしました。 | |
| ちなみにこの文章は`literate Haskell`という形式で書かれているのでダウンロードしてghciでロードすればすぐにでも自分で試すことができます。 | |
| まず最初におまじない | |
| > {-# LANGUAGE RankNTypes #-} |
Every application ever written can be viewed as some sort of transformation on data. Data can come from different sources, such as a network or a file or user input or the Large Hadron Collider. It can come from many sources all at once to be merged and aggregated in interesting ways, and it can be produced into many different output sinks, such as a network or files or graphical user interfaces. You might produce your output all at once, as a big data dump at the end of the world (right before your program shuts down), or you might produce it more incrementally. Every application fits into this model.
The scalaz-stream project is an attempt to make it easy to construct, test and scale programs that fit within this model (which is to say, everything). It does this by providing an abstraction around a "stream" of data, which is really just this notion of some number of data being sequentially pulled out of some unspecified data source. On top of this abstraction, sca
| {-# LANGUAGE NoMonomorphismRestriction #-} | |
| {-# LANGUAGE TemplateHaskell #-} | |
| {-# OPTIONS_GHC -fwarn-missing-methods #-} | |
| module Err where | |
| import Control.Lens | |
| import Control.Monad.Error | |
| import Control.Monad.Error.Lens | |
| -- Here is a fairly typical situation, where we have low level errors in certain |
（2019/04 追記 こちらの情報は非常に古く、またRC版での結果となります。記録として残していますが参考になさらないでください）
CyberAgent エンジニア Advent Calendar 2014 2日目です。
昨日に引き続き、秋葉原ラボの柿島が担当します。仕事ではHadoopクラスタの運用を中心に、秋葉原ラボのインフラ/ミドルウェアまわりを担当しています。今年はHadoop、mesos、Aerospikeと分散型のシステムを触る機会が多い1年でした。
この記事のテーマはRedis Clusterです。Redis Clusterが使えるようになるRedis 3.0.0は10月にRC1がリリースされました。2015年のQ1にstableリリースを目指しているようです。
| /** | |
| * Let's say I can read things from a "Store" | |
| */ | |
| trait Store[F] { | |
| def read(path: Path): F[String] | |
| } | |
| /** | |
| * Now I want to read more specific things, like a Configuration | |
| * |
https://github.com/ueshin/docker
$ docker run -it -p 14040:4040 spark:1.1.0-rc4
| trait ConsoleAlg[F[_]] { | |
| def readLine: F[Option[String]] | |
| def printLine(line: String): F[Unit] | |
| } | |
| trait Console[+A] { | |
| def run[F[+_]](F: ConsoleAlg[F]): F[A] | |
| } | |
| object Console { |