取り急ぎブログです
少し前に巷ではやったSTのことを勉強してみました。原典のLazy Functional State Threadsをかじってみました。 僕はStateモナドはなんとなく自分でかけるくらいまで理解していたのですが、STは使ったこともないし、いったい何物なんだかぜんぜん知りませんでした。 Stateモナドは要するに関数なわけで State s a = State \s -> (a, s) ということはStateモナド系のKleisli関数がバインドされる図は乱暴な見方をすればこうゆう絵柄になるわけです。 runState (\s -> (a, s') >>= \a s -> (b, s') >>= \b s -> (c, s')) 何をスケッチしてるんだかよくわからなくなっちゃうんですがここではそれぞれのKleisli関数をそのシグネチャだけで書いています。それぞれのKleisli関数は（Kl
中国北京のApple Storeで｢iPhone 4S｣の発売を巡り大騒動が勃発 - 気になる、記になる…
管理人：Taisyo 海外の情報＆噂サイトで報じられている Microsoft (Windows) や Apple (MacやiOSデバイス) の最新情報を翻訳(ミスも多いですが…)してUPしています。 当サイトのメインページや個別記事へのリンク、コメント、トラックバックは自由に行って下さい。 ご連絡の必要はございません。 ある程度確認はしていますが、InternetExplorerでは一部正しく表示されない部分があり、推薦はSafariとなっています。 ニュース：総合(982) ニュース：携帯電話(346) 気になるニュース(488) ニュース：ブラウザ(204) ミニノート関連(Eee PCなど)(260) Microsoft：総合(789) Microsoft：各種アップデータ(98) Windows Vista：ニュース(512) Windows Vista：レビュー(27) Wi
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
