情報を「オープン」にするということ - shibataismの日記
ここ1週間くらいで「OpenID」とか「OpenSocial」って上手くいくと思います？ということを10回くらい聞かれたので、その整理を。 個人的には情報をオープンにすることというのはとても素晴らしいことだし、個人的にもそうしていきたいと思うけど、もう少し冷静にどういうことなのを書いてみたい。 最初に結論を書くと、「OpenID」も「OpenSocial」も上手くいかないと思う。情報をオープンにするというのが機能する（＝オープンにすることで場が活性化する）のは、 オープンにするレイヤーでは誰も経済的な競争をしない オープンにするレイヤーの一つ下のレイヤーで圧倒的な支配者がいる場合 のいずれかだと思う。 前者は、例えばLinux。Linuxはいろいろな流派があるけど、例えばDebianとUbuntuのどっちがいけてるかという話はあっても、DebianとUbuntuのどっちが儲かるかという競争
猿でも持ち上げられるモナド - まめめも
最近やっとモナドの持ち上げ方を理解した気分になりました。StateT + IO 限定で。 State モナドを使って以下のようなコードを書いていたとき、 module Main(main) where import Control.Monad.State -- 階乗計算 fact :: State (Int, Int) Int fact = do (a, b) <- get -- (A) if a == 0 then return b else do modify $ \(a, b) -> (a-1, a*b) fact main :: IO () main = do let x = evalState fact (10, 1) print x コメントの (A) の位置で (a, b) の値を表示したくなったときに使える技です。 module Main(main) where impor
もなもなモナド ReaderモナドとWriterモナドの合成 - sshi.Continual
モナドの合成はさっぱりわからないままだったので、試しにReaderモナドとWriterモナドの合成をやってみた。 リーフは数値、ブランチにはラベルがついてる木構造データを対象に、 木構造データのリーフの合計を求める関数 さらに、Writerモナドを使って足したリーフの数字を順番にログにとる関数 さらに、Readerモナドを使って親のラベルもログに取る関数 の順番で変更が少ないように実装してみたつもり。それぞれmain1,main2,main3に対応する。これでちゃんと動く理屈はあまりちゃんとわかってない。わかったら後で書く。 以下ソース data T = B String [T] | L Int sample = B "root" [L 5,B "child" [L 1,L 10],L 2] -- main1 = sum_leaf sample sum_leaf (L n) = n sum
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://page.freett.com/shelarcy/log/2007/diary_10.html
日清のどん兵衛｜日清のどん兵衛×機動戦士ガンダム
笑わないプログラマ - 【軍曹が】携帯電話開発の現状【語る】
音石明スーパーライブ at S市体育館
kajisoku.com
