関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語
Monad (philosophy), a term meaning "unit" Monism, the concept of "one essence" in the metaphysical and theological theory Monad (Gnosticism), the most primal aspect of God in Gnosticism Great Monad, an older name for the taijitu symbol Monadologia Physica, by Immanuel Kant La Monadologie, by Gottfried Leibniz, a book about a basic unit of perceptual reality Monas Hieroglyphica, a 1564 book by John
モナド (英:monad) モナド (哲学) - ライプニッツが著書『モナドロジー』(『単子論』とも)において提唱した哲学上の概念。 モナド (超準解析) - 数学の超準解析において、ある与えられた超実数に対して無限に近い全ての超実数の集合。 モナド (圏論) - 圏論における特定の性質を満たす圏代数<T ; μ , η>のこと。 モナド (プログラミング) - プログラミング言語の意味付けにおける完備な意味領域をモジュール性を持たせた形で分割するための枠組み。 モナド (レコードレーベル) - テイチクのかつてのレコードレーベル。 任天堂より発売されたWii用ゲームソフト『ゼノブレイド』(開発:モノリスソフト)の仮称時のタイトル(Monado: Beginning of the World)、および同ゲームに登場する重要アイテム(武器)。 このページは曖昧さ回避のためのページです。一つの
前置き みなさん、モナドって、わかりにくいですよね。 なので、図解することで解りやすく説明できるんじゃないかと、何回かモナドの図解を試みてきたのですが、むしろ複雑さが強調されてしまい残念な感じになってしまいました。 過去の図解 モナドってなんだよ!?全然わからないんで分解して図解してみた(´・ω・`) モナドの分解ふたたび ただ、以前よりモナドを表すメタファのイメージがあって、レゴブロックを組み合わせるようなカタチに例えてうまく説明できるんじゃないか。という予感がしていました。 そして、去年の年末ぐらいに、ついにそのカタチの具体的なアイディアを閃きました。 モナドを解りやすく図解する方法思い付いてるんだけど、絵心が足りなくて表現できない。モナドちゃんとかそう言うことではなく(´・ω・`) 2013-01-18 05:05:22 via ついっぷる for Android 今日、この記事を書
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く