hiratara @hiratara @t6s @kyon_mm ようやく文脈理解しました。前回名古屋で話したモノイダル圏とモノイドの定義、自己関手の圏が持つモノイダル構造の辺りは知ってる前提で話すつもりですので、話していただけると大変助かります！ #monadBase 2015-03-15 23:49:32
モナド基礎勉強会 vol.2 #monadBase
hiratara @hiratara @t6s @kyon_mm ようやく文脈理解しました。前回名古屋で話したモノイダル圏とモノイドの定義、自己関手の圏が持つモノイダル構造の辺りは知ってる前提で話すつもりですので、話していただけると大変助かります！ #monadBase 2015-03-15 23:49:32
究極のモナド「Idealモナド」を垣間見る - モナドとわたしとコモナド
モナドトランスフォーマー・ステップ・バイ・ステップ(Monad Transformers Step By Step) - りんごがでている
絵で見るモナド · eed3si9n
Fun with parallel monad comprehensions (The Monad.Reader)
This article is a re-publication of an article that I wrote some time ago for The Monad.Reader magazine, which is an online magazine about functional programming and Haskell. You can also read the article in the original PDF format as part of the Issue 18 (together with two other interesting articles). The samples from the article can be found on Github. Monad comprehensions have an interesting hi
The Haskell Programmer's Guide to the IO Monad --- Don't Panic
The Haskell Programmer’s Guide to the IO Monad — Don’t Panic — Stefan Klinger University of Twente, the Netherlands � EWI, Database Group CTIT Technical Report Stefan Klinger. The Haskell Programmer’s Guide to the IO Monad — Don’t Panic. Order-address: Centre for Telematics and Information Technology University of Twente P. O. Box 217 7500 AL Enschede the Netherlands mailto:a.m.annink-tanke@utwent
モナドのための圏論入門 - 針の上でprocessは幾つ踊れるか？
「モナドは自己関手圏のモノイド対象にすぎない」とワドラーはいったがその事を説明したいと思います。 次のものを説明します。 対象 射 結合則 恒等射 圏 関手 自然変換 圏の基礎 圏は以下のものから構成されます 射 対象 射はソースとターゲットを結ぶ矢印とされます XがソースYがターゲットの社は次の通りに記述されます。 射の結合 の二つの射が存在した場合結合する事ができます さらに以下の公理を満たす必要があります。 恒等射 結合則 恒等射 任意の対象Xに対して射 が存在し恒等射という、さらに任意の射に対して が成り立つ。 結合則 が成り立ちこれを結合則という。 関手 圏Cと圏Gが存在したとして、 CからGに対して 対象 射 を対応させるものである。この時関手は以下の性質を保っていなけばならない。 恒等射 射の合成 自然変換 圏Cと圏Dの間に、F、Gという関手が存在し、 FからGへ移す射 が存
「モナドは象だ(Monads are Elephants)」日本語訳 — Japanese Translation of Monads are Elephants v1.0 documentation
「モナドは象だ(Monads are Elephants)」日本語訳¶ この文章は、以下の記事の翻訳です。 Monads are Elephants: http://james-iry.blogspot.com/2007/09/monads-are-elephants-part-1.html http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-2.html http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-3.html http://james-iry.blogspot.com/2007/11/monads-are-elephants-part-4.html JAMES IRY:ONE DIV ZERO: http://james-iry
モナドはメタファーではない · eed3si9n
monad-par
The Par monad offers a simple API for parallel programming. The library works for parallelising both pure and IO computations, although only the pure version is deterministic. The default implementation provides a work-stealing scheduler and supports forking tasks that are much lighter weight than IO-threads. For complete documentation see Control.Monad.Par. Some examples of use can be found in th
Monads are Elephants Part 1
Introductions to monads are bit of cottage industry on the Internet. So I figured, "why buck tradition?" But this article will present Scala's way of dealing with monads. An ancient parable goes that several blind men were experiencing their first elephant. "It's a tree," one said while wrapping his arms around its legs. "A large snake," another said while holding its trunk. A third said...um, som
Introducing The Monads
Introducing The Monads Aditya Siram 20 September 2010 Aditya Siram () Introducing The Monads 20 September 2010 1 / 48 Outline 1 Overview 2 Monad Basics 3 Introducing The Monads Aditya Siram () Introducing The Monads 20 September 2010 2 / 48 Goals A monad primer (explain the common interface to all monads) A tour of the important monads and how to use them to get stu� done. Uses a cookbook approach
モナドって結局何なのよ? — join to Monad v0.1 documentation
All About Monads モナドのすべて
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
Haskell/Understanding monads - Wikibooks, open books for an open world
There is a certain mystique about monads, and even about the word "monad" itself. While one of our goals of this set of chapters is removing the shroud of mystery that is often wrapped around them, it is not difficult to understand how it comes about. Monads are very useful in Haskell, but the concept is often difficult to grasp at first. Since monads have so many applications, people often explai
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド
モナドのすべて Haskell におけるモナドプログラミングの理論と実践に関する包括的ガイド Version 1.1.0 このチュートリアルは、モナドの概念とその関数プログラミングにおける応用に ついて、初中級の Haskell プログラマにわかりやすく、利用価値があるような 解説をすることを旨としています。読者は Haskell になれていることを前提と しますが、モナドに関する経験は要求していません。このチュートリアルは、多 くの題材をカバーしています。後半のセクションでは、前半の題材をよく理解し ていることを前提とします。順をおって、モナドプログラミングを例示するため のサンプルコードがたくさん用意されています。一読で、すべての題材を吸収し ようというのはお勧めできません。 このチュートリアルは 3 つの部分で構成されています。最初の部分は、 関数プログラミングにおけるモナドの基本的
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Request Rejected
What is the correct definition of ideal monads?
mtl, transformers, monads-fd, monadLib, and the paradox of choice
Monad tutorial
