Monadを巡る困難についてのぼやき - Qiita
予は如何にしてMonadophobiaを克服しつつあるか Monadについて実は数日前にようやく理解しはじめた。思えば10年前に最初にそれが函手(functor)だって教えてくれれば、少なくとも簡単なイメージ形成と基礎的な使い方はすぐに理解できたのに、と思う。HaskellのMonadを理解するために圏論を理解する必要はありません、ってのは本当かもしれないが、函手だって言われれば直観的にはすぐに理解できる。要は fmap はHaskellの函数全体が作る圏からその部分圏への函手です、fmapで函数の構造を保存したまま部分圏の函数が得られますよ、というか函手の条件を満たすようなfmapを提供することによってそういう構造保存的な部分圏を提供するんですよ、というだけのことである。ところが、部分圏の射自体がHaskellの圏の射だから、当の函手が自分自身に適用されてm (m a)のようにMonad
第51回 FunctorとMonadの間にあるApplicative
第3回でFunctorクラスとMonadクラスを紹介しましたが，ここ数年の間に，FunctorクラスとMonadクラスの関係に少し変化が起こりました。Functorクラスよりも強く，Monadクラスよりも弱いクラス，すなわちFunctorクラスとMonadクラスの中間に相当するApplicativeクラスが現れ，広く使われるようになったのです。特にパーサー・ライブラリでは，Applicativeクラスおよび「Applicative版のMonoid」であるAlternativeクラスが欠かせないものになっています。 第48回でのparTraversable関数の説明，および第50回で取り上げたparMap関数/parMapM関数の定義の文脈部分で登場したTraversableクラスも，Applicativeとのかかわりが深いクラスです。 Applicativeに対する理解は，今やHaskel
Haskell's Applicative class & the SKI Combinator Calculus | LAMBDAPHONE
Do Applicative Functors generalize the S & K Combinators? 2/01/2011 If the title hasn't scared you off yet, here's the story: I was hacking on someone else's code on the plane and trying to wrap my head around some Applicative class code; in particular the code in question used the Applicative instance for ((->) a) i.e. functions. This turned my brain to cream-of-wheat and I had to take a break. I
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Haskell/Applicative functors - Wikibooks, open books for an open world
