NothingNothing<$>はただのfmap。似ているが、関数自身も文脈の中に入っている。いう関数があり、本質的には<*>と同じだが、Applicativeの代わりにMonad型クラス制約がついている。結果が関数であるようなモナド値。[10,11][11,12,12,13,13,14]モナドの威力は少なくともアプリカティブやファンクター以上である。すべてのモナドはファンクターでもアプリカティブでもあるのにそのインスタンスになっているとは限らない。ファンクターやアプリカティブファンクターが使う関数と等価なモナド版の関数が存在する。join任意の入れ子になったモナドは平らにできる。[0,0,0]((),[10,1,2,0,0,0])filterMfilter関数は、Haskellプログラミングの米らしい。filterは述語とフィルタ対象のリストを取り、述語を満たす要素だけを残してくれる。filterしたい場合、filterMを使う。モジュールに定義されている。[a]リストを取って、4より小さい要素だけを残す関数。返すのではなく、何をしたかのログを残すような述語を作る。計算全体を失敗させたい。Maybeアキュムレータを返すようにする。[2,11,3,1]Nothingリストに9より大きい数が入っている場合、Nothingになっている。所感モナディック関数。以下のような共通の性質をもつ関数が存在する。(1)月別アーカイブスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。