関手、Applicative、Monadの法則 - あどけない話
Monadとは、Applicativeであるデータ構造で、(>>=)演算子を提供し、それがMonad法則を満たすものである。 正確に表現するとこうなんですが、「はぁ？」っ感じですよね。「満たすべき法則」とか言われると、まったく理解できません。でも、オススメの形に持っていくための変換規則と捉えると分かりやすいのではないかというのが、この記事の主旨です。 関手 関手法則は以下の2つです： 単位元： id <$> x = x 合成 ： f <$> (g <$> x) = (f . g) <$> x 左辺が冗長な形、右辺がオススメの形です。これはいいですよね？ Applicative Applicative法則は以下の4つです（<*>は左結合）。 単位元： pure id <*> x = x 準同型： pure g <*> pure x = pure (g x) 交換 ： x <*> pure y
絶品すぎるスープカレーのつくりかた【東京カリ〜番長】 - メシ通 | ホットペッパーグルメ
でらいつカレーvol.10 基本の「スープカレー」のつくりかた カレーに興味がある「でらいつカレー」の読者のみなさんなら、さすがに「スープカレー」というカレーを知らない人はいないと思いますが、意外と「実は食べたことがないんです……」とか、「随分前に食べたっきりだな～」という人も結構多いのではないでしょうか。 かく言うわたくしも、もう1年以上食べていません……（がび～ん）。 そんなわたくしがスープカレーのレシピを書いていいのか？ と思われるかもしれませんが、いいんです！（きっぱり） だってもう、10年以上前からスープカレーは作ってきてますから！（えっへん） 『東京カリ～番長が作る ご当地カレー 47都道府県コレクション』（辰巳出版） これ。2006年8月に発売されたレシピ本です。 当然ですが、すでに絶版です。ご興味がある方は古本でお探しください。 ちょっと知識のある方ならご存知じの通り、スー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
